__PROC__ main
__--__
__DO__

13_i64 "\tHello world\n" write-out
1 2_i32 + i32-to-i64 exit
__END__