#ifndef UTIL_LINUX_EXEC_SHELL_H
#define UTIL_LINUX_EXEC_SHELL_H

extern void exec_shell(void) __attribute__((__noreturn__));

#endif /* UTIL_LINUX_EXEC_SHELL_H */