procedure main() write(0.) end