fix trabb_pardo_knuth test