#ifdef SEEN_F
static int g() {
  return 20;
}
#endif