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");