extern int k;

int common_defined_externally() {
  return k;
}