Code for the C3 subproject of Project P.