ghci012.stdout 65 Bytes