第二百五十三条 除法律另有规定或者合同另有约定外，保险责任开始后，被保险人和保险人均不得解除合同。
protocol-with-bases would be an addition to what protocols can be that
，更多细节参见91视频
// Compute udev hashes
Animations — FadeIn/Out, Create, Transform, Write, GrowFromCenter, AnimationGroup, LaggedStart
习题链接：LeetCode 853. 车队