void f() { int a; switch(a % 3){ case 0: ... case 1: ... case 2: ... } }