let ensure_sized_pointer ~env e1 =
  if is_sized_pointer ~env e1 then () else 
  raise (TypeError_typed(e1,"size not known"))