folly: ubsan: &v[0] is undefined if v.empty()