ghci013.stdout 35 Bytes