__attribute__((always_inline))
void f() {
}

int main() {
  return 0;
}