_3_1_5 {
  global: readproc;
  local: *;
};