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