12.2. Your First Program

A simple NOP sled with return:

def helloAsm : Program := x86! {
  nop           -- 0x90
  nop
  ret           -- 0xC3
}