An implementation of Tadge's evil coin