#include "./prelude/kernel_prelude.hats"

staload "kernel/interrupts/idt.sats"

%{^
  void breakpoint(){ 
    __asm__("int3");
  }
%}

extern fun breakpoint() :void  = "mac#"

implement main0 () = (
  println!("Start");

  // Initialize interrupt table
  idt_init();

  // Throws breakpoint exception
  breakpoint();

  println!("End");
)