void f1() {}

int main(int argc, char** argv) {
  f1();
}