var a: Int8 := -200i8 (* @Error Integer literal overflows *) end.