sig class print : unit -> Cil.cilPrinter end