let hash { deps_return = dr ; deps_table = dt } = Lmap_bitwise.From_Model.hash dt + 197*Lmap_bitwise.From_Model.LOffset.tag dr