Function main

Test/SafeIntTestVS17/Scratch/Scratch.cpp:17–27

    return x;
}
int main(int argc, char** argv)
{
    unsigned long long a = argc;
    unsigned long long b = 23;

    unsigned long long x = Foo(a, b);
    if (x > 300)
        printf("Foo\n");

    return 0;
}