replaced thrice.hpp