@ -6,7 +6,7 @@
.include "include/io.s"
.include "include/main_exit.s"
main:
.thunkcode main
# make an integer
thunkto %r11, $INT_code, $1