And now a tested implementation