let section = Formula.S_typedef