function: main returns: int body: return 65537 end body end function