ghci, sourcing