XBT_PUBLIC(int) ROUTING_HOST_LEVEL; //Routing level
XBT_PUBLIC(int) SURF_CPU_LEVEL; //Surf cpu level
XBT_PUBLIC(int) SURF_WKS_LEVEL; //Surf workstation level
XBT_PUBLIC(int) ROUTING_HOST_LEVEL; //Routing level
XBT_PUBLIC(int) SURF_CPU_LEVEL; //Surf cpu level
XBT_PUBLIC(int) SURF_WKS_LEVEL; //Surf workstation level