let t_mbits : Formula.tau = Formula.ADT ("memory", [])