(module Set_once)