:: deftheorem defines VLabelSelector GLIB_003:def 3 :
VLabelSelector = 7;