XCIRCUIT_3.4 {
   global: Xcircuit_Init;
   local: *;
};