Carbon是一个内部检查点（checkpoint），而非面向公众的成品。