This file uses cerr without including <iostream>. Since it's just for debugging...