1 2 3 4
extern int getpts(int[], char*); extern int childpty(int[], char*); extern void updatewinsize(int, int, int, int); extern int rcfd[];