Update do-until.hpp