ghci008.stdout 1.17 KB