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