Importing files from the modular run-time library, modifying the types a little bit.