method addLabel (lab: element) (ip: int)    =   (Hashtbl.add label_table ip lab)