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