1  #ifndef UTIL_LINUX_EXEC_SHELL_H
       2  #define UTIL_LINUX_EXEC_SHELL_H
       3  
       4  extern void exec_shell(void) __attribute__((__noreturn__));
       5  
       6  #endif /* UTIL_LINUX_EXEC_SHELL_H */