src/one_at_a_time.hpp: New