val transProg : Tiger_absyn.t -> unit