INT32_VALUE      1596 core/Interpreter.cpp 					i1 = INT32_VALUE(a1) % INT32_VALUE(a2);
INT32_VALUE      1619 core/Interpreter.cpp 					i1 = INT32_VALUE(a1) << (INT32_VALUE(a2) & 0x1F);
INT32_VALUE      1638 core/Interpreter.cpp 					sp[0] = MAKE_INTEGER(INT32_VALUE(a1) >> (INT32_VALUE(a2) & 0x1F));
INT32_VALUE      1654 core/Interpreter.cpp                     u1 = (UINT32_VALUE(a1) >> (INT32_VALUE(a2) & 0x1F));