SONAME_MOVE {
  global: other_function;
};