pty_maxptys
int pty_maxptys(int, int); /* defined in kern/tty_pty.c */
xmax = pty_maxptys(0, 0);
if (xmax != pty_maxptys(xmax, 1))
int pty_maxptys(int, int);