{
global:
  gmod13_open;
  gmod13_close;

local: *;
};