sig val enable : bool Stdlib.ref val enable_alloc : bool Stdlib.ref end