extraction (ready for further debugging)