codebases for cpp-ethereum extra checks