heading
heading(idtype, idtypename, id, idname, "none");
heading(idtype, idtypename, id, idname, "");
heading(idtype, idtypename, id, idname, "");
static void heading(int, const char *, id_t, const char *, const char *);