add printf function