Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/ckit/regression/valid-programs.obs/ps2ascii.c.c
ViewVC logotype

Annotation of /sml/trunk/ckit/regression/valid-programs.obs/ps2ascii.c.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 597 - (view) (download) (as text)

1 : dbm 597
2 :    
3 :    
4 :    
5 :    
6 :    
7 :    
8 :    
9 :    
10 :    
11 :    
12 :    
13 :    
14 :    
15 :    
16 :    
17 :    
18 :    
19 :    
20 :    
21 :    
22 :    
23 :    
24 :    
25 :    
26 :    
27 :    
28 :    
29 :    
30 :    
31 :    
32 :    
33 :    
34 :    
35 :    
36 :    
37 :    
38 :    
39 :    
40 :    
41 :    
42 :    
43 :    
44 :    
45 :    
46 :    
47 :    
48 :    
49 :    
50 :    
51 :    
52 :    
53 :    
54 :    
55 :    
56 :    
57 :    
58 :    
59 :    
60 :    
61 :    
62 :    
63 :    
64 :    
65 :    
66 :    
67 :    
68 :    
69 :    
70 :    
71 :    
72 :    
73 :    
74 :    
75 :    
76 :    
77 :    
78 :    
79 :    
80 :    
81 :    
82 :    
83 :    
84 :    
85 :    
86 :    
87 :    
88 :    
89 :    
90 :    
91 :    
92 :    
93 :    
94 :    
95 :    
96 :    
97 :    
98 :    
99 :    
100 :    
101 :    
102 :    
103 :    
104 :    
105 :    
106 :    
107 :    
108 :    
109 :    
110 :    
111 :    
112 :    
113 :    
114 :    
115 :    
116 :    
117 :    
118 :    
119 :    
120 :    
121 :    
122 :    
123 :    
124 :    
125 :    
126 :    
127 :    
128 :    
129 :    
130 :    
131 :    
132 :    
133 :    
134 :    
135 :    
136 :    
137 :    
138 :    
139 :    
140 :    
141 :    
142 :    
143 :    
144 :    
145 :    
146 :    
147 :    
148 :    
149 :    
150 :    
151 :    
152 :    
153 :    
154 :    
155 :    
156 :    
157 :    
158 :    
159 :    
160 :    
161 :    
162 :    
163 :    
164 :    
165 :    
166 :    
167 :    
168 :    
169 :    
170 :    
171 :    
172 :    
173 :    
174 :    
175 :    
176 :    
177 :    
178 :    
179 :    
180 :    
181 :    
182 :    
183 :    
184 :    
185 :    
186 :    
187 :    
188 :    
189 :    
190 :    
191 :    
192 :    
193 :    
194 :    
195 :    
196 :    
197 :    
198 :    
199 :    
200 :    
201 :    
202 :    
203 :    
204 :    
205 :    
206 :    
207 :    
208 :    
209 :    
210 :    
211 :    
212 :    
213 :    
214 :    
215 :    
216 :    
217 :    
218 :    
219 :    
220 :    
221 :    
222 :    
223 :    
224 :    
225 :    
226 :    
227 :    
228 :    
229 :    
230 :    
231 :    
232 :    
233 :    
234 :    
235 :    
236 :    
237 :    
238 :    
239 :    
240 :    
241 :    
242 :    
243 :    
244 :    
245 :    
246 :    
247 :    
248 :    
249 :    
250 :    
251 :    
252 :    
253 :    
254 :    
255 :    
256 :    
257 :    
258 :    
259 :    
260 :    
261 :    
262 :    
263 :    
264 :    
265 :    
266 :    
267 :    
268 :    
269 :    
270 :    
271 :    
272 :    
273 :    
274 :    
275 :    
276 :    
277 :    
278 :    
279 :    
280 :    
281 :    
282 :    
283 :    
284 :    
285 :    
286 :    
287 :    
288 :    
289 :    
290 :    
291 :    
292 :    
293 :    
294 :    
295 :    
296 :    
297 :    
298 :    
299 :    
300 :    
301 :    
302 :    
303 :    
304 :    
305 :    
306 :    
307 :    
308 :    
309 :    
310 :    
311 :    
312 :    
313 :    
314 :    
315 :    
316 :    
317 :    
318 :    
319 :    
320 :    
321 :    
322 :    
323 :    
324 :    
325 :    
326 :    
327 :    
328 :    
329 :    
330 :    
331 :    
332 :    
333 :    
334 :    
335 :    
336 :    
337 :    
338 :    
339 :    
340 :    
341 :    
342 :    
343 :    
344 :    
345 :    
346 :    
347 :    
348 :    
349 :    
350 :    
351 :    
352 :    
353 :    
354 :    
355 :    
356 :    
357 :    
358 :    
359 :    
360 :    
361 :    
362 :    
363 :    
364 :    
365 :    
366 :    
367 :    
368 :    
369 :    
370 :    
371 :    
372 :    
373 :    
374 :    
375 :    
376 :    
377 :    
378 :    
379 :    
380 :    
381 :    
382 :    
383 :    
384 :    
385 :    
386 :    
387 :    
388 :    
389 :    
390 :    
391 :    
392 :    
393 :    
394 :    
395 :    
396 :    
397 :    
398 :    
399 :    
400 :    
401 :    
402 :    
403 :    
404 :    
405 :    
406 :    
407 :    
408 :    
409 :    
410 :    
411 :     typedef int __int32_t;
412 :     typedef unsigned __uint32_t;
413 :    
414 :    
415 :    
416 :    
417 :    
418 :    
419 :    
420 :    
421 :    
422 :    
423 :    
424 :    
425 :    
426 :    
427 :    
428 :    
429 :    
430 :    
431 :    
432 :    
433 :    
434 :    
435 :    
436 :    
437 :    
438 :    
439 :    
440 :    
441 :    
442 :    
443 :    
444 :    
445 :    
446 :    
447 :    
448 :    
449 :    
450 :    
451 :    
452 :    
453 :     typedef long long __int64_t;
454 :     typedef unsigned long long __uint64_t;
455 :    
456 :    
457 :    
458 :    
459 :    
460 :    
461 :     typedef __int32_t __psint_t;
462 :     typedef __uint32_t __psunsigned_t;
463 :    
464 :    
465 :    
466 :    
467 :    
468 :    
469 :    
470 :    
471 :    
472 :    
473 :    
474 :     typedef __int32_t __scint_t;
475 :     typedef __uint32_t __scunsigned_t;
476 :    
477 :    
478 :    
479 :    
480 :    
481 :    
482 :    
483 :    
484 :    
485 :    
486 :    
487 :    
488 :    
489 :     typedef unsigned int size_t;
490 :    
491 :    
492 :    
493 :    
494 :    
495 :     typedef long fpos_t;
496 :    
497 :    
498 :    
499 :    
500 :    
501 :     typedef __int64_t off64_t;
502 :    
503 :    
504 :    
505 :    
506 :    
507 :     typedef __int64_t fpos64_t;
508 :    
509 :    
510 :    
511 :    
512 :    
513 :    
514 :    
515 :    
516 :     typedef char *va_list;
517 :    
518 :    
519 :    
520 :    
521 :    
522 :    
523 :    
524 :    
525 :    
526 :    
527 :    
528 :    
529 :    
530 :    
531 :    
532 :    
533 :    
534 :    
535 :    
536 :    
537 :    
538 :    
539 :    
540 :    
541 :    
542 :    
543 :    
544 :    
545 :    
546 :    
547 :    
548 :    
549 :    
550 :    
551 :    
552 :    
553 :    
554 :    
555 :    
556 :    
557 :    
558 :    
559 :    
560 :    
561 :    
562 :    
563 :    
564 :    
565 :    
566 :    
567 :    
568 :    
569 :    
570 :    
571 :    
572 :    
573 :    
574 :    
575 :    
576 :     typedef struct
577 :    
578 :    
579 :    
580 :    
581 :    
582 :    
583 :    
584 :    
585 :    
586 :     __file_s
587 :    
588 :     {
589 :    
590 :     int _cnt;
591 :    
592 :    
593 :     unsigned char *_ptr;
594 :     unsigned char *_base;
595 :    
596 :     unsigned char _flag;
597 :     unsigned char _file;
598 :    
599 :     } FILE;
600 :    
601 :     extern FILE __iob[100 ];
602 :     extern FILE *_lastbuf;
603 :     extern unsigned char *_bufendtab[];
604 :     extern unsigned char _sibuf[], _sobuf[];
605 :    
606 :     extern int remove(const char *);
607 :     extern int rename(const char *, const char *);
608 :     extern FILE *tmpfile(void);
609 :     extern char *tmpnam(char *);
610 :     extern int fclose(FILE *);
611 :     extern int fflush(FILE *);
612 :     extern FILE *fopen(const char *, const char *);
613 :     extern FILE *freopen(const char *, const char *, FILE *);
614 :     extern void setbuf(FILE *, char *);
615 :     extern int setvbuf(FILE *, char *, int, size_t);
616 :    
617 :     extern int fprintf(FILE *, const char *, ...);
618 :    
619 :     extern int fscanf(FILE *, const char *, ...);
620 :    
621 :     extern int printf(const char *, ...);
622 :    
623 :     extern int scanf(const char *, ...);
624 :    
625 :     extern int sprintf(char *, const char *, ...);
626 :    
627 :     extern int sscanf(const char *, const char *, ...);
628 :     extern int vfprintf(FILE *, const char *, char *);
629 :     extern int vprintf(const char *, char *);
630 :     extern int vsprintf(char *, const char *, char *);
631 :    
632 :    
633 :    
634 :     extern int fgetc(FILE *);
635 :     extern char *fgets(char *, int, FILE *);
636 :     extern int fputc(int, FILE *);
637 :     extern int fputs(const char *, FILE *);
638 :     extern int getc(FILE *);
639 :     extern int getchar(void);
640 :     extern char *gets(char *);
641 :     extern int putc(int, FILE *);
642 :     extern int putchar(int);
643 :     extern int puts(const char *);
644 :     extern int ungetc(int, FILE *);
645 :     extern size_t fread(void *, size_t, size_t, FILE *);
646 :     extern size_t fwrite(const void *, size_t, size_t, FILE *);
647 :     extern int fgetpos(FILE *, fpos_t *);
648 :     extern int fseek(FILE *, long, int);
649 :     extern int fsetpos(FILE *, const fpos_t *);
650 :     extern long ftell(FILE *);
651 :     extern void rewind(FILE *);
652 :     extern void clearerr(FILE *);
653 :     extern int feof(FILE *);
654 :     extern int ferror(FILE *);
655 :     extern void perror(const char *);
656 :    
657 :     extern int __filbuf(FILE *);
658 :     extern int __flsbuf(int, FILE *);
659 :    
660 :    
661 :    
662 :     extern FILE *fdopen(int, const char *);
663 :     extern int fileno(FILE *);
664 :    
665 :    
666 :    
667 :    
668 :     extern void flockfile(FILE *);
669 :     extern int ftrylockfile(FILE *);
670 :     extern void funlockfile(FILE *);
671 :     extern int getc_unlocked(FILE *);
672 :     extern int putc_unlocked(int, FILE *);
673 :     extern int getchar_unlocked(void);
674 :     extern int putchar_unlocked(int);
675 :    
676 :    
677 :    
678 :     extern FILE *popen(const char *, const char *);
679 :     extern int pclose(FILE *);
680 :    
681 :    
682 :    
683 :    
684 :    
685 :    
686 :    
687 :    
688 :    
689 :    
690 :    
691 :    
692 :    
693 :    
694 :    
695 :    
696 :    
697 :    
698 :    
699 :    
700 :    
701 :    
702 :    
703 :    
704 :    
705 :    
706 :    
707 :    
708 :    
709 :     extern int getopt(int, char *const *, const char *);
710 :    
711 :     extern char *optarg;
712 :     extern int opterr;
713 :     extern int optind;
714 :     extern int optopt;
715 :    
716 :    
717 :    
718 :    
719 :    
720 :    
721 :    
722 :    
723 :    
724 :    
725 :     extern int getsubopt(char **, char *const *, char **);
726 :     extern void getoptreset(void);
727 :    
728 :    
729 :    
730 :    
731 :    
732 :     extern char *ctermid(char *);
733 :     extern char *cuserid(char *);
734 :     extern char *tempnam(const char *, const char *);
735 :     extern int getw(FILE *);
736 :     extern int putw(int, FILE *);
737 :    
738 :    
739 :    
740 :    
741 :    
742 :     extern char *mktemp(char *);
743 :     extern int mkstemp(char *);
744 :     extern int setbuffer(FILE *, char *, int);
745 :     extern int setlinebuf(FILE *);
746 :     extern int system(const char *);
747 :    
748 :    
749 :    
750 :    
751 :     extern int fgetpos64(FILE *, fpos64_t *);
752 :     extern FILE *fopen64(const char *, const char *);
753 :     extern FILE *freopen64(const char *, const char *, FILE *);
754 :     extern int fseek64(FILE *, off64_t, int);
755 :     extern int fseeko64(FILE *, off64_t, int);
756 :    
757 :     extern int fseeko(FILE *, __int64_t, int);
758 :     extern int fsetpos64(FILE *, const fpos64_t *);
759 :     extern off64_t ftell64(FILE *);
760 :    
761 :     extern __int64_t ftello(FILE *);
762 :     extern off64_t ftello64(FILE *);
763 :     extern FILE *tmpfile64(void);
764 :    
765 :    
766 :    
767 :     extern int __semputc(int, FILE *);
768 :     extern int __semgetc(FILE *);
769 :     extern int __us_rsthread_stdio;
770 :    
771 :    
772 :    
773 :     extern char *ctermid_r(char *);
774 :    
775 :    
776 :    
777 :    
778 :    
779 :    
780 :    
781 :    
782 :    
783 :    
784 :    
785 :    
786 :    
787 :    
788 :    
789 :    
790 :    
791 :    
792 :    
793 :    
794 :    
795 :    
796 :    
797 :    
798 :    
799 :    
800 :    
801 :    
802 :    
803 :    
804 :    
805 :    
806 :    
807 :    
808 :    
809 :    
810 :    
811 :    
812 :    
813 :    
814 :    
815 :    
816 :    
817 :    
818 :    
819 :    
820 :    
821 :    
822 :    
823 :    
824 :    
825 :    
826 :    
827 :    
828 :    
829 :    
830 :    
831 :    
832 :    
833 :    
834 :    
835 :    
836 :    
837 :    
838 :    
839 :    
840 :    
841 :    
842 :    
843 :    
844 :    
845 :    
846 :    
847 :    
848 :    
849 :    
850 :    
851 :    
852 :    
853 :    
854 :    
855 :    
856 :    
857 :    
858 :    
859 :    
860 :    
861 :    
862 :    
863 :    
864 :    
865 :    
866 :    
867 :    
868 :    
869 :    
870 :    
871 :    
872 :    
873 :    
874 :    
875 :    
876 :    
877 :    
878 :    
879 :    
880 :    
881 :    
882 :    
883 :    
884 :    
885 :    
886 :    
887 :    
888 :     typedef unsigned char uchar_t;
889 :     typedef unsigned short ushort_t;
890 :     typedef unsigned int uint_t;
891 :     typedef unsigned long ulong_t;
892 :    
893 :    
894 :     typedef char * addr_t;
895 :     typedef char * caddr_t;
896 :    
897 :     typedef long daddr_t;
898 :    
899 :     typedef long pgno_t;
900 :     typedef __uint32_t pfn_t;
901 :     typedef short cnt_t;
902 :     typedef unsigned long basictime_t;
903 :     typedef __int64_t micro_t;
904 :    
905 :    
906 :    
907 :    
908 :     typedef __int32_t pgcnt_t;
909 :    
910 :     typedef enum { B_FALSE, B_TRUE } boolean_t;
911 :    
912 :    
913 :    
914 :    
915 :    
916 :    
917 :    
918 :    
919 :    
920 :    
921 :    
922 :     typedef long id_t;
923 :    
924 :    
925 :    
926 :    
927 :    
928 :    
929 :    
930 :    
931 :    
932 :    
933 :     typedef ulong_t major_t;
934 :     typedef ulong_t minor_t;
935 :    
936 :    
937 :    
938 :    
939 :    
940 :    
941 :    
942 :    
943 :    
944 :    
945 :    
946 :    
947 :    
948 :    
949 :     typedef ushort_t o_mode_t;
950 :     typedef short o_dev_t;
951 :     typedef ushort_t o_uid_t;
952 :     typedef o_uid_t o_gid_t;
953 :     typedef short o_nlink_t;
954 :     typedef short o_pid_t;
955 :     typedef __uint32_t o_ino_t;
956 :    
957 :    
958 :     typedef unsigned long mode_t;
959 :     typedef unsigned long dev_t;
960 :     typedef long uid_t;
961 :     typedef long gid_t;
962 :     typedef unsigned long nlink_t;
963 :     typedef long pid_t;
964 :    
965 :    
966 :    
967 :     typedef dev_t vertex_hdl_t;
968 :    
969 :    
970 :     typedef unsigned long ino_t;
971 :    
972 :     typedef __uint64_t ino64_t;
973 :    
974 :    
975 :     typedef long off_t;
976 :    
977 :    
978 :    
979 :    
980 :     typedef __scint_t __scoff_t;
981 :    
982 :     typedef __scoff_t scoff_t;
983 :    
984 :    
985 :    
986 :    
987 :     typedef __int64_t blkcnt64_t;
988 :     typedef __uint64_t fsblkcnt64_t;
989 :     typedef __uint64_t fsfilcnt64_t;
990 :    
991 :    
992 :    
993 :     typedef long blkcnt_t;
994 :     typedef ulong_t fsblkcnt_t;
995 :     typedef ulong_t fsfilcnt_t;
996 :    
997 :    
998 :     typedef long swblk_t;
999 :     typedef unsigned long paddr_t;
1000 :     typedef unsigned long iopaddr_t;
1001 :     typedef int key_t;
1002 :     typedef unsigned char use_t;
1003 :     typedef long sysid_t;
1004 :     typedef short index_t;
1005 :    
1006 :     typedef signed short nasid_t;
1007 :     typedef signed short cnodeid_t;
1008 :     typedef signed char partid_t;
1009 :     typedef signed short moduleid_t;
1010 :    
1011 :     typedef unsigned int lock_t;
1012 :     typedef signed short cpuid_t;
1013 :     typedef unsigned char pri_t;
1014 :     typedef __uint64_t accum_t;
1015 :     typedef __int64_t prid_t;
1016 :     typedef __int64_t ash_t;
1017 :     typedef int cell_t;
1018 :    
1019 :    
1020 :    
1021 :    
1022 :    
1023 :    
1024 :     typedef int ssize_t;
1025 :    
1026 :    
1027 :    
1028 :    
1029 :    
1030 :    
1031 :    
1032 :     typedef long time_t;
1033 :    
1034 :    
1035 :    
1036 :    
1037 :    
1038 :    
1039 :    
1040 :     typedef long clock_t;
1041 :    
1042 :    
1043 :    
1044 :    
1045 :    
1046 :    
1047 :    
1048 :     typedef long wchar_t;
1049 :    
1050 :    
1051 :    
1052 :    
1053 :    
1054 :    
1055 :     typedef int clockid_t;
1056 :    
1057 :    
1058 :    
1059 :     typedef int timer_t;
1060 :    
1061 :    
1062 :    
1063 :    
1064 :    
1065 :    
1066 :    
1067 :    
1068 :     typedef unsigned int useconds_t;
1069 :    
1070 :    
1071 :    
1072 :    
1073 :    
1074 :    
1075 :     typedef __scunsigned_t bitnum_t;
1076 :     typedef __scunsigned_t bitlen_t;
1077 :    
1078 :    
1079 :     typedef int processorid_t;
1080 :     typedef int toid_t;
1081 :     typedef long *qaddr_t;
1082 :     typedef __uint32_t inst_t;
1083 :    
1084 :    
1085 :    
1086 :    
1087 :     typedef unsigned machreg_t;
1088 :    
1089 :    
1090 :    
1091 :    
1092 :    
1093 :    
1094 :    
1095 :     typedef __uint32_t fpreg_t;
1096 :    
1097 :    
1098 :    
1099 :    
1100 :    
1101 :    
1102 :    
1103 :    
1104 :    
1105 :    
1106 :    
1107 :    
1108 :     typedef signed char int8_t;
1109 :     typedef unsigned char uint8_t;
1110 :     typedef signed short int16_t;
1111 :     typedef unsigned short uint16_t;
1112 :     typedef signed int int32_t;
1113 :     typedef unsigned int uint32_t;
1114 :     typedef __int64_t int64_t;
1115 :     typedef __uint64_t uint64_t;
1116 :     typedef __int64_t intmax_t;
1117 :     typedef __uint64_t uintmax_t;
1118 :     typedef signed long int intptr_t;
1119 :     typedef unsigned long int uintptr_t;
1120 :    
1121 :    
1122 :    
1123 :    
1124 :    
1125 :    
1126 :     typedef unsigned char u_int8_t;
1127 :     typedef unsigned short u_int16_t;
1128 :     typedef __uint32_t u_int32_t;
1129 :    
1130 :    
1131 :    
1132 :    
1133 :    
1134 :    
1135 :    
1136 :    
1137 :    
1138 :    
1139 :    
1140 :    
1141 :    
1142 :    
1143 :    
1144 :    
1145 :    
1146 :    
1147 :    
1148 :    
1149 :     typedef long hostid_t;
1150 :    
1151 :    
1152 :    
1153 :    
1154 :    
1155 :    
1156 :    
1157 :    
1158 :    
1159 :    
1160 :    
1161 :    
1162 :    
1163 :    
1164 :    
1165 :    
1166 :    
1167 :    
1168 :    
1169 :    
1170 :    
1171 :    
1172 :    
1173 :    
1174 :    
1175 :    
1176 :    
1177 :    
1178 :    
1179 :    
1180 :    
1181 :    
1182 :    
1183 :    
1184 :    
1185 :    
1186 :    
1187 :    
1188 :    
1189 :    
1190 :    
1191 :     typedef struct { int r[1]; } * physadr;
1192 :     typedef unsigned char unchar;
1193 :     typedef unsigned char u_char;
1194 :     typedef unsigned short ushort;
1195 :     typedef unsigned short u_short;
1196 :     typedef unsigned int uint;
1197 :     typedef unsigned int u_int;
1198 :     typedef unsigned long ulong;
1199 :     typedef unsigned long u_long;
1200 :     typedef struct _quad { long val[2]; } quad;
1201 :    
1202 :    
1203 :    
1204 :    
1205 :    
1206 :    
1207 :    
1208 :    
1209 :    
1210 :    
1211 :    
1212 :    
1213 :    
1214 :    
1215 :    
1216 :    
1217 :    
1218 :    
1219 :    
1220 :    
1221 :    
1222 :    
1223 :    
1224 :    
1225 :    
1226 :    
1227 :    
1228 :    
1229 :    
1230 :    
1231 :    
1232 :    
1233 :    
1234 :    
1235 :    
1236 :    
1237 :    
1238 :    
1239 :    
1240 :    
1241 :    
1242 :    
1243 :    
1244 :    
1245 :    
1246 :    
1247 :    
1248 :    
1249 :    
1250 :    
1251 :    
1252 :    
1253 :    
1254 :     typedef long fd_mask_t;
1255 :     typedef unsigned long ufd_mask_t;
1256 :    
1257 :    
1258 :    
1259 :    
1260 :    
1261 :    
1262 :     typedef struct fd_set {
1263 :     fd_mask_t fds_bits[(((1024)+(( (int)(sizeof(fd_mask_t) * 8))-1))/( (int)(sizeof(fd_mask_t) * 8))) ];
1264 :     } fd_set;
1265 :    
1266 :    
1267 :    
1268 :    
1269 :    
1270 :    
1271 :    
1272 :    
1273 :    
1274 :    
1275 :    
1276 :    
1277 :    
1278 :    
1279 :    
1280 :    
1281 :    
1282 :    
1283 :    
1284 :    
1285 :    
1286 :    
1287 :    
1288 :    
1289 :    
1290 :    
1291 :    
1292 :    
1293 :    
1294 :    
1295 :    
1296 :    
1297 :    
1298 :    
1299 :    
1300 :    
1301 :    
1302 :    
1303 :    
1304 :    
1305 :    
1306 :    
1307 :    
1308 :    
1309 :    
1310 :    
1311 :    
1312 :    
1313 :    
1314 :     extern void *memcpy(void *, const void *, size_t);
1315 :     extern void *memmove(void *, const void *, size_t);
1316 :     extern char *strcpy(char *, const char *);
1317 :     extern char *strncpy(char *, const char *, size_t);
1318 :     extern char *strcat(char *, const char *);
1319 :     extern char *strncat(char *, const char *, size_t);
1320 :     extern void *memccpy(void *, const void *, int, size_t);
1321 :     extern int memcmp(const void *, const void *, size_t);
1322 :     extern int strcmp(const char *, const char *);
1323 :     extern int strcoll(const char *, const char *);
1324 :     extern int strncmp(const char *, const char *, size_t);
1325 :     extern size_t strxfrm(char *, const char *, size_t);
1326 :     extern void *memchr(const void *, int, size_t);
1327 :     extern char *strchr(const char *, int);
1328 :     extern size_t strcspn(const char *, const char *);
1329 :     extern char *strpbrk(const char *, const char *);
1330 :     extern char *strrchr(const char *, int);
1331 :     extern size_t strspn(const char *, const char *);
1332 :     extern char *strstr(const char *, const char *);
1333 :     extern char *strtok(char *, const char *);
1334 :     extern void *memset(void *, int, size_t);
1335 :     extern char *strerror(int);
1336 :     extern size_t strlen(const char *);
1337 :    
1338 :    
1339 :     extern int ffs(int);
1340 :    
1341 :     extern int strcasecmp(const char *, const char *);
1342 :     extern int strncasecmp(const char *, const char *, size_t);
1343 :    
1344 :    
1345 :    
1346 :     extern char *strdup(const char *);
1347 :    
1348 :    
1349 :    
1350 :     extern char *strtok_r(char *, const char *, char **);
1351 :    
1352 :    
1353 :    
1354 :    
1355 :    
1356 :    
1357 :    
1358 :    
1359 :    
1360 :    
1361 :    
1362 :    
1363 :    
1364 :    
1365 :    
1366 :    
1367 :    
1368 :    
1369 :    
1370 :    
1371 :    
1372 :    
1373 :    
1374 :    
1375 :    
1376 :    
1377 :    
1378 :    
1379 :    
1380 :    
1381 :    
1382 :    
1383 :    
1384 :     typedef long fd_mask;
1385 :    
1386 :    
1387 :    
1388 :    
1389 :    
1390 :    
1391 :    
1392 :    
1393 :    
1394 :    
1395 :    
1396 :    
1397 :    
1398 :     typedef struct {
1399 :     __uint32_t sigbits[2];
1400 :     } k_sigset_t;
1401 :    
1402 :    
1403 :    
1404 :    
1405 :    
1406 :    
1407 :    
1408 :    
1409 :    
1410 :    
1411 :    
1412 :    
1413 :    
1414 :    
1415 :     extern int bcmp(const void *, const void *, size_t);
1416 :     extern void bcopy(const void *, void *, size_t);
1417 :     extern void bzero(void *, size_t);
1418 :     extern char *index(const char *, int);
1419 :     extern char *rindex(const char *, int);
1420 :    
1421 :    
1422 :    
1423 :    
1424 :    
1425 :    
1426 :    
1427 :    
1428 :    
1429 :    
1430 :    
1431 :    
1432 :    
1433 :    
1434 :    
1435 :    
1436 :    
1437 :    
1438 :    
1439 :    
1440 :    
1441 :    
1442 :    
1443 :    
1444 :    
1445 :    
1446 :    
1447 :    
1448 :    
1449 :    
1450 :    
1451 :    
1452 :    
1453 :    
1454 :    
1455 :    
1456 :    
1457 :    
1458 :    
1459 :    
1460 :    
1461 :    
1462 :    
1463 :    
1464 :    
1465 :    
1466 :    
1467 :    
1468 :    
1469 :    
1470 :     extern int isalnum(int);
1471 :     extern int isalpha(int);
1472 :     extern int iscntrl(int);
1473 :     extern int isdigit(int);
1474 :     extern int isgraph(int);
1475 :     extern int islower(int);
1476 :     extern int isprint(int);
1477 :     extern int ispunct(int);
1478 :     extern int isspace(int);
1479 :     extern int isupper(int);
1480 :     extern int isxdigit(int);
1481 :     extern int tolower(int);
1482 :     extern int toupper(int);
1483 :    
1484 :    
1485 :     extern int isascii(int);
1486 :     extern int toascii(int);
1487 :    
1488 :     extern int _tolower(int);
1489 :     extern int _toupper(int);
1490 :    
1491 :    
1492 :     extern unsigned char __ctype[];
1493 :    
1494 :    
1495 :    
1496 :    
1497 :    
1498 :    
1499 :    
1500 :    
1501 :    
1502 :    
1503 :    
1504 :    
1505 :    
1506 :    
1507 :    
1508 :    
1509 :    
1510 :    
1511 :    
1512 :    
1513 :    
1514 :    
1515 :    
1516 :    
1517 :    
1518 :    
1519 :    
1520 :    
1521 :    
1522 :    
1523 :    
1524 :    
1525 :    
1526 :    
1527 :    
1528 :    
1529 :    
1530 :    
1531 :    
1532 :    
1533 :    
1534 :    
1535 :    
1536 :    
1537 :    
1538 :    
1539 :    
1540 :    
1541 :    
1542 :    
1543 :    
1544 :    
1545 :    
1546 :    
1547 :    
1548 :    
1549 :    
1550 :    
1551 :    
1552 :    
1553 :    
1554 :    
1555 :    
1556 :    
1557 :    
1558 :    
1559 :    
1560 :    
1561 :    
1562 :    
1563 :    
1564 :    
1565 :    
1566 :    
1567 :    
1568 :    
1569 :    
1570 :    
1571 :    
1572 :    
1573 :    
1574 :    
1575 :    
1576 :    
1577 :    
1578 :    
1579 :    
1580 :    
1581 :    
1582 :    
1583 :    
1584 :    
1585 :    
1586 :    
1587 :    
1588 :    
1589 :    
1590 :    
1591 :    
1592 :    
1593 :    
1594 :    
1595 :    
1596 :    
1597 :    
1598 :    
1599 :     typedef struct {
1600 :     int quot;
1601 :     int rem;
1602 :     } div_t;
1603 :    
1604 :     typedef struct {
1605 :     long quot;
1606 :     long rem;
1607 :     } ldiv_t;
1608 :    
1609 :    
1610 :     typedef struct {
1611 :     long long quot;
1612 :     long long rem;
1613 :     } lldiv_t;
1614 :    
1615 :    
1616 :    
1617 :    
1618 :    
1619 :    
1620 :    
1621 :    
1622 :    
1623 :    
1624 :     extern unsigned char __ctype[];
1625 :    
1626 :    
1627 :    
1628 :    
1629 :     extern double atof(const char *);
1630 :     extern int atoi(const char *);
1631 :     extern long int atol(const char *);
1632 :     extern double strtod(const char *, char **);
1633 :     extern long int strtol(const char *, char **, int);
1634 :     extern unsigned long int strtoul(const char *, char **, int);
1635 :     extern int rand(void);
1636 :     extern void srand(unsigned int);
1637 :     extern void *calloc(size_t, size_t);
1638 :     extern void free(void *);
1639 :     extern void *malloc(size_t);
1640 :     extern void *realloc(void *, size_t);
1641 :    
1642 :     extern void abort(void);
1643 :     extern int atexit(void (*)(void));
1644 :     extern void exit(int);
1645 :    
1646 :     extern char *getenv(const char *);
1647 :     extern int system(const char *);
1648 :     extern void *bsearch(const void *, const void *, size_t, size_t,
1649 :     int (*)(const void *, const void *));
1650 :     extern void qsort(void *, size_t, size_t,
1651 :     int (*)(const void *, const void *));
1652 :    
1653 :    
1654 :     extern int abs(int);
1655 :    
1656 :    
1657 :    
1658 :     extern div_t div(int, int);
1659 :     extern long int labs(long);
1660 :    
1661 :     extern ldiv_t ldiv(long, long);
1662 :     extern int mbtowc(wchar_t *, const char *, size_t);
1663 :     extern int mblen(const char *, size_t);
1664 :     extern int wctomb(char *, wchar_t);
1665 :     extern size_t mbstowcs(wchar_t *, const char *, size_t);
1666 :     extern size_t wcstombs(char *, const wchar_t *, size_t);
1667 :    
1668 :    
1669 :    
1670 :     extern int putenv(const char *);
1671 :     extern double drand48(void);
1672 :     extern double erand48(unsigned short [3]);
1673 :     extern long lrand48(void);
1674 :     extern long nrand48(unsigned short [3]);
1675 :     extern long mrand48(void);
1676 :     extern long jrand48(unsigned short [3]);
1677 :     extern void srand48(long);
1678 :     extern void lcong48(unsigned short int [7]);
1679 :     extern void setkey(const char *);
1680 :     extern unsigned short * seed48(unsigned short int [3]);
1681 :    
1682 :    
1683 :    
1684 :    
1685 :     extern long a64l(const char *);
1686 :     extern char *ecvt(double, int, int *, int *);
1687 :     extern char *fcvt(double, int, int *, int *);
1688 :     extern char *gcvt(double, int, char *);
1689 :     extern int getsubopt(char **, char * const *, char **);
1690 :     extern int grantpt(int);
1691 :     extern char *initstate(unsigned int, char *, size_t);
1692 :     extern char *l64a(long);
1693 :     extern char *mktemp(char *);
1694 :     extern int mkstemp(char *);
1695 :     extern char *ptsname(int);
1696 :     extern long random(void);
1697 :     extern char *realpath(const char *, char *);
1698 :     extern char *setstate(const char *);
1699 :     extern void srandom(unsigned);
1700 :     extern int ttyslot(void);
1701 :     extern int unlockpt(int);
1702 :     extern void *valloc(size_t);
1703 :    
1704 :    
1705 :    
1706 :    
1707 :     extern int rand_r(unsigned int *);
1708 :    
1709 :    
1710 :    
1711 :    
1712 :    
1713 :     extern int atcheckpoint(void (*)(void));
1714 :     extern int atrestart(void (*)(void));
1715 :     extern int getpw(int, char *);
1716 :     extern void l3tol(long *, const char *, int);
1717 :     extern void ltol3(char *, const long *, int);
1718 :     extern void *memalign(size_t, size_t);
1719 :    
1720 :    
1721 :    
1722 :    
1723 :    
1724 :    
1725 :    
1726 :     extern int dup2(int, int);
1727 :     extern char *getcwd(char *, size_t);
1728 :     extern char *getlogin(void);
1729 :     extern char *getpass(const char *);
1730 :     extern int isatty(int);
1731 :     extern void swab(const void *, void *, ssize_t);
1732 :     extern char *ttyname(int);
1733 :     extern long long int atoll(const char *);
1734 :     extern long long int strtoll(const char *, char **, int);
1735 :     extern unsigned long long int strtoull(const char *, char **, int);
1736 :     extern long long llabs(long long);
1737 :    
1738 :     extern lldiv_t lldiv(long long, long long);
1739 :    
1740 :    
1741 :    
1742 :     extern char *ecvt_r(double, int, int *, int *, char *);
1743 :     extern char *fcvt_r(double, int, int *, int *, char *);
1744 :    
1745 :    
1746 :    
1747 :    
1748 :    
1749 :    
1750 :    
1751 :    
1752 :    
1753 :    
1754 :    
1755 :     void dviparse(FILE *);
1756 :     void psparse();
1757 :    
1758 :     void main(argc, argv)
1759 :     int argc;
1760 :     char *argv[];
1761 :     {
1762 :     int i,
1763 :     known_flag,
1764 :     dvi_file = 0 ;
1765 :     FILE *file, *source;
1766 :    
1767 :     source = (&__iob[0]) ;
1768 :     for(i=1; i<argc; i++)
1769 :     {
1770 :     known_flag = 0 ;
1771 :     if (strcmp(argv[i],"-dvi") == 0)
1772 :     {
1773 :     dvi_file = 1 ;
1774 :     known_flag = 1 ;
1775 :     }
1776 :     if (strcmp(argv[i],"-") == 0)
1777 :     {
1778 :     source = (&__iob[0]) ;
1779 :     known_flag = 1 ;
1780 :     }
1781 :     if (!known_flag)
1782 :     {
1783 :     if ((file=fopen(argv[i],"r")) != 0L )
1784 :     source=file;
1785 :     else
1786 :     {
1787 :     fprintf((&__iob[2]) ,"ps2txt: error opening file %s\n",argv[i]);
1788 :     fprintf((&__iob[2]) ,"usage: ps2txt [-dvi] [-] [input_file.ps]\n");
1789 :     exit(1);
1790 :     }
1791 :     }
1792 :     }
1793 :    
1794 :     dviparse(source);
1795 :    
1796 :     }
1797 :    
1798 :     void dviparse(source)
1799 :     FILE *source;
1800 :     {
1801 :     int ch,
1802 :     prev_ch = '\n',
1803 :     next_to_prev_ch = '\n',
1804 :     in_paren = 0 ,
1805 :     b_flag = 0 ,
1806 :     b_space = 1 ,
1807 :     c,
1808 :     word_over_line = 0 ;
1809 :     char junk[80];
1810 :    
1811 :     while ((ch = fgetc(source)) != (-1) )
1812 :     {
1813 :     if (ch == '\n') ch = fgetc(source);
1814 :     if (in_paren)
1815 :     switch(ch)
1816 :     {
1817 :     case ')' : in_paren--; b_flag=1; break;
1818 :     case '\n' : (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ; ; break;
1819 :     case '-' : if((c = fgetc(source)) == ')') {
1820 :     word_over_line=1 ;
1821 :     }
1822 :     else {
1823 :     (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ;
1824 :     }
1825 :     ungetc(c, source);
1826 :     break;
1827 :    
1828 :     (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ; ; break;
1829 :     case '\\' :
1830 :     switch(ch=fgetc(source))
1831 :     {
1832 :     case '(' :
1833 :     case ')' : (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ; break;
1834 :     case 't' : (__us_rsthread_stdio ? __semputc(('\t'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\t')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\t'))))) ; ; break;
1835 :     case '\n' : break;
1836 :     case 'n' : break;
1837 :     case '\\': (__us_rsthread_stdio ? __semputc(('"'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('"')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('"'))))) ; ; break;
1838 :     case '0' : switch(ch=fgetc(source))
1839 :     {
1840 :     case '1': switch(ch=fgetc(source))
1841 :     {
1842 :     case '3' : fputs("ff",(&__iob[1]) ); break;
1843 :     case '4' : fputs("fi",(&__iob[1]) ); break;
1844 :     case '5' : fputs("fl",(&__iob[1]) ); break;
1845 :     case '6' : fputs("ffi",(&__iob[1]) ); break;
1846 :     case '7' : fputs("ffl",(&__iob[1]) ); break;
1847 :     default: fputs("\\01",(&__iob[1]) ); (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ;
1848 :     } break;
1849 :     default: fputs("\\0",(&__iob[1]) ); (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ;
1850 :     } break;
1851 :     case '1' : case '2' : case '3' : case '4' :
1852 :     case '5' : case '6' : case '7' : (__us_rsthread_stdio ? __semputc(('\\'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\\')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\\'))))) ; ;
1853 :     default: (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ;
1854 :     } break;
1855 :     default: (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; ;
1856 :     }
1857 :     else
1858 :     switch(ch)
1859 :     {
1860 :     case '%' : fgets(junk, 80, source); break;
1861 :     case '\n' : break;
1862 :     case '-' : if (b_flag)
1863 :     {
1864 :     b_flag = 0;
1865 :     b_space = 0;
1866 :    
1867 :    
1868 :     } break;
1869 :     case '(' : in_paren++;
1870 :     if(!word_over_line) {
1871 :     if(!((__ctype + 1)[next_to_prev_ch] & (01 | 02 )) ) {
1872 :     switch(prev_ch)
1873 :     {
1874 :     case 'l' : case 'm' : case 'n' : case 'o' :
1875 :     case 'q' : case 'r' : case 's' : case 't' :
1876 :     break;
1877 :     case 'y' : (__us_rsthread_stdio ? __semputc(('\n'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\n')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\n'))))) ; ; break;
1878 :     case 'b' : if (b_space) (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ; ; break;
1879 :     case 'a' : case 'c' : case 'd' : case 'e' :
1880 :     case 'f' : case 'g' : case 'h' : case 'i' :
1881 :     case 'j' : case 'k' : case 'x' : (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ; ; break;
1882 :     default: break;
1883 :     }
1884 :     }
1885 :     else {
1886 :     (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ; ;
1887 :     }
1888 :     }
1889 :     b_space = 1;
1890 :     word_over_line = 0 ;
1891 :     break;
1892 :     default: b_flag = 0; break;
1893 :     }
1894 :     next_to_prev_ch=prev_ch;
1895 :     prev_ch=ch;
1896 :    
1897 :     }
1898 :     }
1899 :    
1900 :     void psparse(source)
1901 :     FILE *source;
1902 :     {
1903 :     char *str;
1904 :     char junk[80];
1905 :     int ch, para=0, last=0;
1906 :     while ((ch=fgetc(source)) != (-1) )
1907 :     {
1908 :     switch (ch)
1909 :     {
1910 :     case '%' : if (para==0) fgets(junk, 80, source);
1911 :     else (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ;
1912 :     case '\n' : if (last==1) { puts(""); last=0; } break;
1913 :     case '(' : if (para++>0) (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; break;
1914 :     case ')' : if (para-->1) (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ;
1915 :     else (__us_rsthread_stdio ? __semputc((' '), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((' ')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((' '))))) ;
1916 :     last=1; break;
1917 :    
1918 :     case '\\' : if (para>0)
1919 :     switch(ch=fgetc(source))
1920 :     {
1921 :     case '(' :
1922 :     case ')' : (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; break;
1923 :     case 't' : (__us_rsthread_stdio ? __semputc(('\t'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\t')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\t'))))) ; break;
1924 :     case 'n' : (__us_rsthread_stdio ? __semputc(('\n'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\n')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\n'))))) ; break;
1925 :     case '\\': (__us_rsthread_stdio ? __semputc(('\\'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\\')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\\'))))) ; break;
1926 :     case '0' : case '1' : case '2' : case '3' :
1927 :     case '4' : case '5' : case '6' : case '7' :
1928 :     (__us_rsthread_stdio ? __semputc(('\\'), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf((('\\')), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)(('\\'))))) ;
1929 :     default: (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ; break;
1930 :     }
1931 :     break;
1932 :     default: if (para>0) (__us_rsthread_stdio ? __semputc((ch), (&__iob[1])) : (--( (&__iob[1]))->_cnt < 0 ? __flsbuf(((ch)), ( (&__iob[1]))) : (int)(*( (&__iob[1]))->_ptr++ = (unsigned char)((ch))))) ;
1933 :     }
1934 :     }
1935 :     }

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0