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