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