fannkuch-refux test [ci skip]