TinyJS port to c#