test/t25_edge.nsc

global i32 main(void) {
	i8 a = (i8)127;
	a = a + 1;
	i16 b = (i16)32767;
	b = b + 1;
	i32 c = (i32)a * b;
	return (i32)(c / 65536);
}