procedure main() write(2^32-1) end