add printf in exec.c