VER1 {
  global:
    versioned_symbol;
};
VER2 {
  global:
    versioned_alias;
};