stdout "Hello, World!\n"
end 0