let _ = (42 : Nat16) - (43 : Nat16)