print_statelog
static void print_statelog __P((FILE *, char *, int));
print_statelog(log, buf, psize);