let f = Abstract.print