let
startof mem t_elt lv =
M
.startof (addr mem lv) (object_of t_elt)