ghci: Load static objects in batches