:: deftheorem defines WeightSelector GLIB_003:def 1 :
WeightSelector = 5;