mutable assigns_table =
    (Ki.Hashtbl.create 17 : Location_list.t Ki.Hashtbl.t)