CHECK_INT_ATOM   1341 core/Interpreter.cpp 			dest = CHECK_INT_ATOM(u3t | kIntptrType); \
CHECK_INT_ATOM   1356 core/Interpreter.cpp 			dest = CHECK_INT_ATOM(u3t | kIntptrType); \
CHECK_INT_ATOM   1375 core/Interpreter.cpp 			dest = CHECK_INT_ATOM(u3t | kIntptrType); \
CHECK_INT_ATOM   1469 core/Interpreter.cpp 					sp[0] = CHECK_INT_ATOM(u3t | kIntptrType);
CHECK_INT_ATOM   1497 core/Interpreter.cpp 						sp[0] = CHECK_INT_ATOM(u3t | kIntptrType); 
CHECK_INT_ATOM   1520 core/Interpreter.cpp 					sp[0] = CHECK_INT_ATOM(u3t | kIntptrType);
CHECK_INT_ATOM   2156 core/Interpreter.cpp 				sp[0] = CHECK_INT_ATOM(Atom(((i1 << (8*sizeof(Atom)-1)) >> ((8*sizeof(Atom)-1)-3)) | kIntptrType));
CHECK_INT_ATOM   2162 core/Interpreter.cpp 				sp[0] = CHECK_INT_ATOM(Atom(((i1 << (8*(sizeof(Atom)-1))) >> ((8*(sizeof(Atom)-1))-3)) | kIntptrType));
CHECK_INT_ATOM   2168 core/Interpreter.cpp 				sp[0] = CHECK_INT_ATOM(Atom(((i1 << (8*(sizeof(Atom)-2))) >> ((8*(sizeof(Atom)-2))-3)) | kIntptrType));