extern int get(void);

int main(void) {
  char i = 0;

  switch(get()) {
  case 1:
    break;
  case 3:
    i++;
    break;
  case 5:
    i+=2;
    /* fall through */
  case 7:
    i+=3;
    break;
  default:
    i+=16;
  }
  return i;
}