Implemented module loading, and basic verification