int rgba4b_int = rgba_4b(0,1,2,3); compile { int rgba4b_jit = rgba_4b(0,1,2,3); } Integer io; io=rgba4b_int; trace io.printf("int: 0x%08x"); io=rgba4b_jit; trace io.printf("jit: 0x%08x");