let is_empty s = Vec.is_empty s.heap