[main argc:I32 argv:**Byte]: I32 'main' = {
argv = [~~ **Byte [+ [~~Index argv] 1]]
cstdio::[puts [.argv]]
0
}