add printf in dev.h