void foo (unsigned char bar) { while (bar > 0) bar -= 3; }