Readback for int31 values from native compiler.