function main() { const a: i64 = -9223372036854775808; }