:l T17500
b = 42
:{
fac :: Integer -> Integer
fac 0 = 1
fac n = n * fac (n - 1)
:}
isBCOsFile "T17500.dump-BCOs"
isBCOsFile "Ghci1.dump-BCOs"
isBCOsFile "Ghci2.dump-BCOs"