[squirrelfish] X86 instructions in JITArithmetic?