Added timestamp::write_time()