VER_1 {
      global: 
              mono_debugger_readline_*;
      local:
              *;
};
