fanf
fanftmp1.c
fanftmp2.c
fanf.orig
prog.orig
