function main() { const a: u64 = -1; }