#include _syscall0(int, pause);