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