test/t38_unsigned.nsc

global i32 main(void) {
	u8 a = 200;
	u8 b = 100;
	u32 c = (u32)a + b;
	u64 d = (u64)c * 1000;
	u32 e = d / 7;
	u32 f = d % 7;
	u8 g = a >> 2;
	if (e == 42857 && f == 1 && g == 50) { return 19; }
	return 0;
}