leo/asg/tests/fail/integers/u64/max_fail.leo

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