V1_0_0 {
  global:
    "bobMcBob";
  local:
    *;
};