{
  global:
    plugin_is_GPL_compatible;
    plugin_init;
  local:
    *;
};