Stable_module_types.S2