finish print
finish printf