interface, printf