+
+ { // We have to transform typebuf accordingly
+ int pos;
+ unsigned short *typebuf_temp;
+ if ((typebuf_temp = malloc (dest * sizeof (unsigned short))) == NULL)
+ outOfMemory ();
+ for (pos = 0; pos < dest; pos++)
+ typebuf_temp[pos] = typebuf[srcMapping[pos]];
+ memcpy (typebuf, typebuf_temp, dest * sizeof (unsigned short));
+ free (typebuf_temp);
+ }
+