KNF num.c
KNF num.c