(write-line "Hello, World!")