Could you add a comment saying `TODO: Small vector optimization` here? I think we will want to avoid allocation in most cases.