KNF rfun.c.