module

proc exit() #{noreturn}
return

end.