TH_ghci1.stdout 4 Bytes