:: deftheorem defines OrderingSelector GLIB_010:def 5 :
OrderingSelector = 8;