pub fn lower_modules(modules: &[Module]) -> ProgramBody