method getInstrLabel (i: int)               =   (Hashtbl.find label_table i)