nctref/tests/bit-rounding.nct

u32 x: 123;
u33 y: 5;

u3 *o = 5000;
u3 z = *o;
u3 p = *(o + z);