#include <unistd.h>

void panic(void) {
  __asm__ volatile (
      "int $0x80"
      :: "a" (__SYS_panic)
      );
}