//ww:run-exit 1
package main;
export fn main() i32 = {
	let t: [8]u16 = [0u16, 0x0800u16, 0x0801u16, 0x0803u16,
		0x1006u16, 0x1009u16, 0x100Du16, 0x1812u16];
	let v: u32 = (t[2]: u32);
	return v: i32;
};