void get333(int* output) {
  *output = 333;
}

int main(int argc, char** argv) {
  int num;
  get333(&num);
}