add cprintf in exec.c