["rtarg1","rtarg2"]
Type in your program with an operation 'main':
[]
Type in your program with an operation 'main':
42
Run-time arguments: ["Hello","World"]
Run-time arguments: ["Hi","World"]