let t_alloc : Formula.tau = Formula.ADT ("memalloc", [])