ghci040.stdout 71 Bytes