:: deftheorem defines ELabelSelector GLIB_003:def 2 :
ELabelSelector = 6;