Read a scalar uint32 (forces eval). Hot per-token path: the out-param is read back via read.u32, never out[0] (DFG stale-read bug — see outArray in ffi.ts).
Read a scalar uint32 (forces eval). Hot per-token path: the out-param is read back via read.u32, never out[0] (DFG stale-read bug — see outArray in ffi.ts).