And another for crunch++.cpp