ghci040.stdout 57 Bytes