bcb2e1e20ba1571c2d7c1657fafae83998081f2e
6 extern substdio
*subfdin
;
7 extern substdio
*subfdinsmall
;
8 extern substdio
*subfdout
;
9 extern substdio
*subfdoutsmall
;
10 extern substdio
*subfderr
;
12 extern int subfd_read();
13 extern int subfd_readsmall();