8072       unsigned short *px = py;  in wav2Encode()  local
8079       for (; px <= ex; px += ox2) {  in wav2Encode()
8080         unsigned short *p01 = px + ox1;  in wav2Encode()
8081         unsigned short *p10 = px + oy1;  in wav2Encode()
8089           wenc14(*px, *p01, i00, i01);  in wav2Encode()
8091           wenc14(i00, i10, *px, *p10);  in wav2Encode()
8094           wenc16(*px, *p01, i00, i01);  in wav2Encode()
8096           wenc16(i00, i10, *px, *p10);  in wav2Encode()
8106         unsigned short *p10 = px + oy1;  in wav2Encode()
8109           wenc14(*px, *p10, i00, *p10);  in wav2Encode()
8111           wenc16(*px, *p10, i00, *p10);  in wav2Encode()
8113         *px = i00;  in wav2Encode()
8122       unsigned short *px = py;  in wav2Encode()  local
8125       for (; px <= ex; px += ox2) {  in wav2Encode()
8126         unsigned short *p01 = px + ox1;  in wav2Encode()
8129           wenc14(*px, *p01, i00, *p01);  in wav2Encode()
8131           wenc16(*px, *p01, i00, *p01);  in wav2Encode()
8133         *px = i00;  in wav2Encode()
8191       unsigned short *px = py;  in wav2Decode()  local
8198       for (; px <= ex; px += ox2) {  in wav2Decode()
8199         unsigned short *p01 = px + ox1;  in wav2Decode()
8200         unsigned short *p10 = px + oy1;  in wav2Decode()
8208           wdec14(*px, *p10, i00, i10);  in wav2Decode()
8210           wdec14(i00, i01, *px, *p01);  in wav2Decode()
8213           wdec16(*px, *p10, i00, i10);  in wav2Decode()
8215           wdec16(i00, i01, *px, *p01);  in wav2Decode()
8225         unsigned short *p10 = px + oy1;  in wav2Decode()
8228           wdec14(*px, *p10, i00, *p10);  in wav2Decode()
8230           wdec16(*px, *p10, i00, *p10);  in wav2Decode()
8232         *px = i00;  in wav2Decode()
8241       unsigned short *px = py;  in wav2Decode()  local
8244       for (; px <= ex; px += ox2) {  in wav2Decode()
8245         unsigned short *p01 = px + ox1;  in wav2Decode()
8248           wdec14(*px, *p01, i00, *p01);  in wav2Decode()
8250           wdec16(*px, *p01, i00, *p01);  in wav2Decode()
8252         *px = i00;  in wav2Decode()