960 	POSTING *newsetp, *set1p;  in boolfile()  local
981 		newsetp = set1p = item;  in boolfile()
1014 		set1p = item;  in boolfile()
1024 		set1p = item;  in boolfile()
1028 			if (set1p->lineoffset < posting.lineoffset) {  in boolfile()
1029 				*newsetp++ = *set1p++;  in boolfile()
1031 			} else if (set1p->lineoffset > posting.lineoffset) {  in boolfile()
1035 			} else if (set1p->type < posting.type) {  in boolfile()
1036 				*newsetp++ = *set1p++;  in boolfile()
1038 			} else if (set1p->type > posting.type) {  in boolfile()
1043 				*newsetp++ = *set1p++;  in boolfile()
1053 				*newsetp++ = *set1p++;  in boolfile()
1069 			if (set1p->lineoffset < posting.lineoffset) {  in boolfile()
1070 				set1p++;  in boolfile()
1072 			} else if (set1p->lineoffset > posting.lineoffset) {  in boolfile()
1075 			} else if (set1p->type < posting.type)  {  in boolfile()
1076 				*set1p++;  in boolfile()
1078 			} else if (set1p->type > posting.type) {  in boolfile()
1082 				*newsetp++ = *set1p++;  in boolfile()
1095 			if (set1p->lineoffset < posting.lineoffset) {  in boolfile()
1096 				*newsetp++ = *set1p++;  in boolfile()
1099 			} else if (set1p->lineoffset > posting.lineoffset) {  in boolfile()
1102 			} else if (set1p->type < posting.type) {  in boolfile()
1103 				*newsetp++ = *set1p++;  in boolfile()
1106 			} else if (set1p->type > posting.type) {  in boolfile()
1111 				set1p++;  in boolfile()
1118 			*newsetp++ = *set1p++;  in boolfile()
1126 			if (set1p->lineoffset < posting.lineoffset) {  in boolfile()
1127 				set1p++;  in boolfile()
1129 			} else if (set1p->lineoffset > posting.lineoffset) {  in boolfile()
1133 			} else if (set1p->type < posting.type) {  in boolfile()
1134 				set1p++;  in boolfile()
1136 			} else if (set1p->type > posting.type) {  in boolfile()
1142 				set1p++;  in boolfile()