#include int pause(void) { return syscall(pause); }