kt-dyck_downstep-code