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