static int thing;

int real_get_thing(void) {
  return thing;
}

void real_set_thing(int value) {
  thing = value;
}