+ int cs = 0;
+
+ while (waitchar(100) == 1)
+ {
+ char c;
+ if (read(0, &c, 1) == 0)
+ fprintf(stderr, "enc Short read...\n");
+ cs++;
+ fprintf(stderr, "Warning: expected no chars, got %d\n", c);
+ }
+ if (cs)
+ fprintf(stderr, "Expect no chars failed: got %d chars\n", cs);
+}
+
+void main(int argc, char **argv)
+{
+ unsigned char buf[259];