Stable_module_types.S1