add printf/k