void __trap() {
  __builtin_trap();
}