int main (void) { decision_result = 1; buggy(1); assert (truecount == 0); return 0; }
int main (void) { unsigned int param; unsigned int borrow; param = 1; borrow = buggy (¶m); if (param != 0) abort (); if (borrow + 1 != 0) abort (); return 0; }