File indexing completed on 2024-06-02 03:59:22 

0001 v.setCursorPosition(3,11);
0002 v.enter();
0003 v.paste("int main(int argc, char const *argv[])\n{\n  /* code */\n  return 0;\n}");