src/06_55.cpp and src/06_58.cpp