{

	char *tmp = malloc(strlen(str) * 10 + 1); /* Allocate space to allow for expansion */

	char *d = tmp;

	bool unicode = false;

	WChar c;

	size_t len = Utf8Decode(&c, str);

	if (c == 0x00DE) {

		/* The thorn ('þ') indicates a unicode string to TTDPatch */

		unicode = true;

		str += len;

	}

	for (;;) {

		const char *tmp = str; /* Used for UTF-8 decoding */

		c = (byte)*str++;

		if (c == 0) break;

		switch (c) {

			case 0x01:

				d += Utf8Encode(d, SCC_SETX);

				*d++ = *str++;

				break;

			case 0x0E: d += Utf8Encode(d, SCC_TINYFONT); break;

			case 0x0F: d += Utf8Encode(d, SCC_BIGFONT); break;

			case 0x1F:

				d += Utf8Encode(d, SCC_SETXY);

				*d++ = *str++;

				*d++ = *str++;

				break;

			case 0x7B:

			case 0x7C:

			case 0x7D:

			case 0x7E: d += Utf8Encode(d, SCC_NUM); break;

			case 0x7F: d += Utf8Encode(d, SCC_CURRENCY); break;

			case 0x80: d += Utf8Encode(d, SCC_STRING); break;

			case 0x81: {

				StringID string;

				string  = *str++;

				string |= *str++ << 8;

				d += Utf8Encode(d, SCC_STRING_ID);

				d += Utf8Encode(d, string);

				break;

			}

			case 0x82: d += Utf8Encode(d, SCC_DATE_TINY); break;

			case 0x83: d += Utf8Encode(d, SCC_DATE_SHORT); break;

			case 0x84: d += Utf8Encode(d, SCC_VELOCITY); break;