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