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