XBT_PUBLIC_DATA(xbt_lib_t) as_router_lib;
XBT_PUBLIC_DATA(int) ROUTING_ASR_LEVEL; //Routing level
XBT_PUBLIC_DATA(int) COORD_ASR_LEVEL; //Coordinates level
XBT_PUBLIC_DATA(xbt_lib_t) as_router_lib;
XBT_PUBLIC_DATA(int) ROUTING_ASR_LEVEL; //Routing level
XBT_PUBLIC_DATA(int) COORD_ASR_LEVEL; //Coordinates level