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