int86 seems to work