More internal debugging stuff into see-voc