main(x){
  while(x > 0){
    if (x == 3){
      return 12;
    }
    x = x - 1;
  }
  return -3;
}