formatted kat.c