kobj_linenum
printf(" on line %d of %s\n", kobj_linenum(file),
kobj_linenum(file), kobj_filename(file));