+void __USER__
+sigchild_handler(int signum)
+{
+ kprintf(KINFO "SIGCHLD received\n");
+}
+
+void __USER__
+sigsegv_handler(int signum)
+{
+ pid_t pid = getpid();
+ kprintf(KWARN "SIGSEGV received on process %d\n", pid);
+ _exit(signum);
+}
+
+void __USER__