Compiles and runs on OS X now, but there is no int 80 to call