procedure main() stop(0) end