in solve() to print pc information, or maybe for some advanced features, e.g. sub-block pc,