Some more functions for loading dumps