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