ghci042.stdout 272 Bytes