let _ = (18_446_744_073_709_551_614 : Nat64) - (18_446_744_073_709_551_615 : Nat64)