r82: wrong declaration of kt_for()