Debug info in invert_test.cpp (L237).