countdown: updated from branch of pypingou