tablefull
tablefull("file");
tablefull("thread");
tablefull("process");
tablefull("pty");
tablefull("vnode");
void tablefull(const char *);
tablefull("dquot");