1  long long foo(long long v) { return v / -0x080000000LL; }
       2  int main(int argc, char **argv) { if (foo(0x080000000LL) != -1) abort(); exit (0); }