function main() { let a: i64 = 9223372036854775807; }