File indexing completed on 2024-11-24 03:39:36 

0001 v.setCursorPosition(11, document.lineLength(11));
0002 v.enter();
0003 v.type("file = read(f, String)");
0004 v.enter();
0005 v.type("print(file)");
0006 v.enter();
0007 v.type("end");
0008 v.enter();
0009 v.type("print(\"TEST2\")")
0010 v.enter();
0011 v.type("end");
0012 v.enter();
0013 v.type("print(a)");
0014 v.enter();
0015 v.type("end");