(module String_id.Stable)