/* Global variable in kern_exec.c */