Crane is a new extraction system from Rocq to C++