.globl main
main:je .