Oh, I seem to have forgotten one debug line, please remove the following line: std::cout << "process_dynamics: section = " << std::hex << section << "\n"; Thanks Konstantinos