int.c revision 9b6b74abf0036e75709725036cef2a4f18042ae4 
1#include <stdlib.h>
2
3int main(int argc, char **argv)
4{
5  asm ("int $129");
6
7  exit(0);
8}
9