mutable
label_table = (
Hashtbl
.create 0)