ghci024.stdout 597 Bytes