greenwasm_validation::validate
pub fn module(empty_c: &Ctx, module: &Module) -> VResult<ImportExportMapping>