int otherfn() {
  int x = 4; // other marker
  return x;
}