diff --git a/exec/load/unicode_ascii.js b/exec/load/unicode_ascii.js
new file mode 100644
index 0000000000000000000000000000000000000000..06b71ddb8299fa42bc80b6cb6d75a5ff826124a2
--- /dev/null
+++ b/exec/load/unicode_ascii.js
@@ -0,0 +1,345 @@
+function unicode_ascii(uc)
+{
+	switch(uc) {
+		case 0x00A6: return String.fromCharCode(0x007C);
+		case 0x00A8: return String.fromCharCode(0x0022);
+		case 0x00AD: return String.fromCharCode(0x002D);
+		case 0x00B4: return String.fromCharCode(0x0027);
+		case 0x00B6: return String.fromCharCode(0x0050);
+		case 0x00B8: return String.fromCharCode(0x002C);
+		case 0x00D0: return String.fromCharCode(0x0044);
+		case 0x00D7: return String.fromCharCode(0x0078);
+		case 0x00D8: return String.fromCharCode(0x004F);
+		case 0x00F0: return String.fromCharCode(0x0064);
+		case 0x00F8: return String.fromCharCode(0x006F);
+		case 0x0100: return String.fromCharCode(0x0041);
+		case 0x0101: return String.fromCharCode(0x0061);
+		case 0x0102: return String.fromCharCode(0x0041);
+		case 0x0103: return String.fromCharCode(0x0061);
+		case 0x0104: return String.fromCharCode(0x0041);
+		case 0x0105: return String.fromCharCode(0x0061);
+		case 0x010A: return String.fromCharCode(0x0043);
+		case 0x010B: return String.fromCharCode(0x0063);
+		case 0x010C: return String.fromCharCode(0x0043);
+		case 0x010D: return String.fromCharCode(0x0063);
+		case 0x010E: return String.fromCharCode(0x0044);
+		case 0x010F: return String.fromCharCode(0x0064);
+		case 0x0110: return String.fromCharCode(0x0044);
+		case 0x0111: return String.fromCharCode(0x0064);
+		case 0x0112: return String.fromCharCode(0x0045);
+		case 0x0113: return String.fromCharCode(0x0065);
+		case 0x0114: return String.fromCharCode(0x0045);
+		case 0x0115: return String.fromCharCode(0x0065);
+		case 0x0116: return String.fromCharCode(0x0045);
+		case 0x0117: return String.fromCharCode(0x0065);
+		case 0x0118: return String.fromCharCode(0x0045);
+		case 0x0119: return String.fromCharCode(0x0065);
+		case 0x011A: return String.fromCharCode(0x0045);
+		case 0x011B: return String.fromCharCode(0x0065);
+		case 0x011E: return String.fromCharCode(0x0047);
+		case 0x011F: return String.fromCharCode(0x0067);
+		case 0x0120: return String.fromCharCode(0x0047);
+		case 0x0121: return String.fromCharCode(0x0067);
+		case 0x0122: return String.fromCharCode(0x0047);
+		case 0x0123: return String.fromCharCode(0x0067);
+		case 0x0126: return String.fromCharCode(0x0048);
+		case 0x0127: return String.fromCharCode(0x0068);
+		case 0x012A: return String.fromCharCode(0x0049);
+		case 0x012B: return String.fromCharCode(0x0069);
+		case 0x012C: return String.fromCharCode(0x0049);
+		case 0x012D: return String.fromCharCode(0x0069);
+		case 0x012E: return String.fromCharCode(0x0049);
+		case 0x012F: return String.fromCharCode(0x0069);
+		case 0x0130: return String.fromCharCode(0x0049);
+		case 0x0131: return String.fromCharCode(0x0069);
+		case 0x0136: return String.fromCharCode(0x004B);
+		case 0x0137: return String.fromCharCode(0x006B);
+		case 0x0139: return String.fromCharCode(0x004C);
+		case 0x013A: return String.fromCharCode(0x006C);
+		case 0x013B: return String.fromCharCode(0x004C);
+		case 0x013C: return String.fromCharCode(0x006C);
+		case 0x013D: return String.fromCharCode(0x004C);
+		case 0x013E: return String.fromCharCode(0x006C);
+		case 0x013F: return String.fromCharCode(0x004C);
+		case 0x0140: return String.fromCharCode(0x006C);
+		case 0x0141: return String.fromCharCode(0x004C);
+		case 0x0142: return String.fromCharCode(0x006C);
+		case 0x0145: return String.fromCharCode(0x004E);
+		case 0x0146: return String.fromCharCode(0x006E);
+		case 0x0147: return String.fromCharCode(0x004E);
+		case 0x0148: return String.fromCharCode(0x006E);
+		case 0x014C: return String.fromCharCode(0x004F);
+		case 0x014D: return String.fromCharCode(0x006F);
+		case 0x014E: return String.fromCharCode(0x004F);
+		case 0x014F: return String.fromCharCode(0x006F);
+		case 0x0156: return String.fromCharCode(0x0052);
+		case 0x0157: return String.fromCharCode(0x0072);
+		case 0x0158: return String.fromCharCode(0x0052);
+		case 0x0159: return String.fromCharCode(0x0072);
+		case 0x015E: return String.fromCharCode(0x0053);
+		case 0x015F: return String.fromCharCode(0x0073);
+		case 0x0160: return String.fromCharCode(0x0053);
+		case 0x0161: return String.fromCharCode(0x0073);
+		case 0x0162: return String.fromCharCode(0x0054);
+		case 0x0163: return String.fromCharCode(0x0074);
+		case 0x0164: return String.fromCharCode(0x0054);
+		case 0x0165: return String.fromCharCode(0x0074);
+		case 0x0166: return String.fromCharCode(0x0054);
+		case 0x0167: return String.fromCharCode(0x0074);
+		case 0x016A: return String.fromCharCode(0x0055);
+		case 0x016B: return String.fromCharCode(0x0075);
+		case 0x016C: return String.fromCharCode(0x0055);
+		case 0x016D: return String.fromCharCode(0x0075);
+		case 0x016E: return String.fromCharCode(0x0055);
+		case 0x016F: return String.fromCharCode(0x0075);
+		case 0x0172: return String.fromCharCode(0x0055);
+		case 0x0173: return String.fromCharCode(0x0075);
+		case 0x017B: return String.fromCharCode(0x005A);
+		case 0x017C: return String.fromCharCode(0x007A);
+		case 0x017D: return String.fromCharCode(0x005A);
+		case 0x017E: return String.fromCharCode(0x007A);
+		case 0x017F: return String.fromCharCode(0x0073);
+		case 0x0218: return String.fromCharCode(0x0053);
+		case 0x0219: return String.fromCharCode(0x0073);
+		case 0x021A: return String.fromCharCode(0x0054);
+		case 0x021B: return String.fromCharCode(0x0074);
+		case 0x02B9: return String.fromCharCode(0x0027);
+		case 0x02BB: return String.fromCharCode(0x0027);
+		case 0x02BC: return String.fromCharCode(0x0027);
+		case 0x02BD: return String.fromCharCode(0x0027);
+		case 0x02C6: return String.fromCharCode(0x005E);
+		case 0x02C8: return String.fromCharCode(0x0027);
+		case 0x02CA: return String.fromCharCode(0x0027);
+		case 0x02CB: return String.fromCharCode(0x0060);
+		case 0x02CD: return String.fromCharCode(0x005F);
+		case 0x02DC: return String.fromCharCode(0x007E);
+		case 0x02DD: return String.fromCharCode(0x0022);
+		case 0x1E02: return String.fromCharCode(0x0042);
+		case 0x1E03: return String.fromCharCode(0x0062);
+		case 0x1E0A: return String.fromCharCode(0x0044);
+		case 0x1E0B: return String.fromCharCode(0x0064);
+		case 0x1E1E: return String.fromCharCode(0x0046);
+		case 0x1E1F: return String.fromCharCode(0x0066);
+		case 0x1E40: return String.fromCharCode(0x004D);
+		case 0x1E41: return String.fromCharCode(0x006D);
+		case 0x1E56: return String.fromCharCode(0x0050);
+		case 0x1E57: return String.fromCharCode(0x0070);
+		case 0x1E60: return String.fromCharCode(0x0053);
+		case 0x1E61: return String.fromCharCode(0x0073);
+		case 0x1E6A: return String.fromCharCode(0x0054);
+		case 0x1E6B: return String.fromCharCode(0x0074);
+		case 0x2002: return String.fromCharCode(0x0020);
+		case 0x2003: return String.fromCharCode(0x0020);
+		case 0x2004: return String.fromCharCode(0x0020);
+		case 0x2005: return String.fromCharCode(0x0020);
+		case 0x2006: return String.fromCharCode(0x0020);
+		case 0x2008: return String.fromCharCode(0x0020);
+		case 0x2009: return String.fromCharCode(0x0020);
+		case 0x200A: return String.fromCharCode(0x0020);
+		case 0x2010: return String.fromCharCode(0x002D);
+		case 0x2011: return String.fromCharCode(0x002D);
+		case 0x2012: return String.fromCharCode(0x002D);
+		case 0x2013: return String.fromCharCode(0x002D);
+		case 0x2014: return String.fromCharCode(0x002D);
+		case 0x2015: return String.fromCharCode(0x002D);
+		case 0x2018: return String.fromCharCode(0x0027);
+		case 0x2019: return String.fromCharCode(0x0027);
+		case 0x201A: return String.fromCharCode(0x0027);
+		case 0x201B: return String.fromCharCode(0x0027);
+		case 0x201C: return String.fromCharCode(0x0022);
+		case 0x201D: return String.fromCharCode(0x0022);
+		case 0x201E: return String.fromCharCode(0x0022);
+		case 0x201F: return String.fromCharCode(0x0022);
+		case 0x2020: return String.fromCharCode(0x002B);
+		case 0x2022: return String.fromCharCode(0x006F);
+		case 0x2024: return String.fromCharCode(0x002E);
+		case 0x2032: return String.fromCharCode(0x0027);
+		case 0x2039: return String.fromCharCode(0x003C);
+		case 0x203A: return String.fromCharCode(0x003E);
+		case 0x2044: return String.fromCharCode(0x002F);
+		case 0x2102: return String.fromCharCode(0x0043);
+		case 0x210A: return String.fromCharCode(0x0067);
+		case 0x210B: return String.fromCharCode(0x0048);
+		case 0x210C: return String.fromCharCode(0x0048);
+		case 0x210D: return String.fromCharCode(0x0048);
+		case 0x210E: return String.fromCharCode(0x0068);
+		case 0x210F: return String.fromCharCode(0x0068);
+		case 0x2110: return String.fromCharCode(0x0049);
+		case 0x2111: return String.fromCharCode(0x0049);
+		case 0x2112: return String.fromCharCode(0x004C);
+		case 0x2113: return String.fromCharCode(0x006C);
+		case 0x2115: return String.fromCharCode(0x004E);
+		case 0x2119: return String.fromCharCode(0x0050);
+		case 0x211A: return String.fromCharCode(0x0051);
+		case 0x211B: return String.fromCharCode(0x0052);
+		case 0x211C: return String.fromCharCode(0x0052);
+		case 0x211D: return String.fromCharCode(0x0052);
+		case 0x2124: return String.fromCharCode(0x005A);
+		case 0x2128: return String.fromCharCode(0x005A);
+		case 0x212C: return String.fromCharCode(0x0042);
+		case 0x212D: return String.fromCharCode(0x0043);
+		case 0x212E: return String.fromCharCode(0x0065);
+		case 0x212F: return String.fromCharCode(0x0065);
+		case 0x2130: return String.fromCharCode(0x0045);
+		case 0x2131: return String.fromCharCode(0x0046);
+		case 0x2133: return String.fromCharCode(0x004D);
+		case 0x2134: return String.fromCharCode(0x006F);
+		case 0x2139: return String.fromCharCode(0x0069);
+		case 0x2145: return String.fromCharCode(0x0044);
+		case 0x2146: return String.fromCharCode(0x0064);
+		case 0x2147: return String.fromCharCode(0x0065);
+		case 0x2148: return String.fromCharCode(0x0069);
+		case 0x2149: return String.fromCharCode(0x006A);
+		case 0x2160: return String.fromCharCode(0x0049);
+		case 0x2164: return String.fromCharCode(0x0056);
+		case 0x2169: return String.fromCharCode(0x0058);
+		case 0x216C: return String.fromCharCode(0x004C);
+		case 0x216D: return String.fromCharCode(0x0043);
+		case 0x216E: return String.fromCharCode(0x0044);
+		case 0x216F: return String.fromCharCode(0x004D);
+		case 0x2170: return String.fromCharCode(0x0069);
+		case 0x2174: return String.fromCharCode(0x0076);
+		case 0x2179: return String.fromCharCode(0x0078);
+		case 0x217C: return String.fromCharCode(0x006C);
+		case 0x217D: return String.fromCharCode(0x0063);
+		case 0x217E: return String.fromCharCode(0x0064);
+		case 0x217F: return String.fromCharCode(0x006D);
+		case 0x2191: return String.fromCharCode(0x005E);
+		case 0x2193: return String.fromCharCode(0x0056);
+		case 0x2212: return String.fromCharCode(0x002D);
+		case 0x2215: return String.fromCharCode(0x002F);
+		case 0x2216: return String.fromCharCode(0x005C);
+		case 0x2217: return String.fromCharCode(0x002A);
+		case 0x2223: return String.fromCharCode(0x007C);
+		case 0x2236: return String.fromCharCode(0x003A);
+		case 0x223C: return String.fromCharCode(0x007E);
+		case 0x3000: return String.fromCharCode(0x0020);
+		case 0x30A0: return String.fromCharCode(0x003D);
+		case 0xFB29: return String.fromCharCode(0x002B);
+		case 0xFE4D: return String.fromCharCode(0x005F);
+		case 0xFE4E: return String.fromCharCode(0x005F);
+		case 0xFE4F: return String.fromCharCode(0x005F);
+		case 0xFE50: return String.fromCharCode(0x002C);
+		case 0xFE52: return String.fromCharCode(0x002E);
+		case 0xFE54: return String.fromCharCode(0x003B);
+		case 0xFE55: return String.fromCharCode(0x003A);
+		case 0xFE56: return String.fromCharCode(0x003F);
+		case 0xFE57: return String.fromCharCode(0x0021);
+		case 0xFE58: return String.fromCharCode(0x002D);
+		case 0xFE59: return String.fromCharCode(0x0028);
+		case 0xFE5A: return String.fromCharCode(0x0029);
+		case 0xFE5B: return String.fromCharCode(0x007B);
+		case 0xFE5C: return String.fromCharCode(0x007D);
+		case 0xFE5F: return String.fromCharCode(0x0023);
+		case 0xFE60: return String.fromCharCode(0x0026);
+		case 0xFE61: return String.fromCharCode(0x002A);
+		case 0xFE62: return String.fromCharCode(0x002B);
+		case 0xFE63: return String.fromCharCode(0x002D);
+		case 0xFE64: return String.fromCharCode(0x003C);
+		case 0xFE65: return String.fromCharCode(0x003E);
+		case 0xFE66: return String.fromCharCode(0x003D);
+		case 0xFE68: return String.fromCharCode(0x005C);
+		case 0xFE69: return String.fromCharCode(0x0024);
+		case 0xFE6A: return String.fromCharCode(0x0025);
+		case 0xFE6B: return String.fromCharCode(0x0040);
+		case 0xFF01: return String.fromCharCode(0x0021);
+		case 0xFF02: return String.fromCharCode(0x0022);
+		case 0xFF03: return String.fromCharCode(0x0023);
+		case 0xFF04: return String.fromCharCode(0x0024);
+		case 0xFF05: return String.fromCharCode(0x0025);
+		case 0xFF06: return String.fromCharCode(0x0026);
+		case 0xFF07: return String.fromCharCode(0x0027);
+		case 0xFF08: return String.fromCharCode(0x0028);
+		case 0xFF09: return String.fromCharCode(0x0029);
+		case 0xFF0A: return String.fromCharCode(0x002A);
+		case 0xFF0B: return String.fromCharCode(0x002B);
+		case 0xFF0C: return String.fromCharCode(0x002C);
+		case 0xFF0D: return String.fromCharCode(0x002D);
+		case 0xFF0E: return String.fromCharCode(0x002E);
+		case 0xFF0F: return String.fromCharCode(0x002F);
+		case 0xFF10: return String.fromCharCode(0x0030);
+		case 0xFF11: return String.fromCharCode(0x0031);
+		case 0xFF12: return String.fromCharCode(0x0032);
+		case 0xFF13: return String.fromCharCode(0x0033);
+		case 0xFF14: return String.fromCharCode(0x0034);
+		case 0xFF15: return String.fromCharCode(0x0035);
+		case 0xFF16: return String.fromCharCode(0x0036);
+		case 0xFF17: return String.fromCharCode(0x0037);
+		case 0xFF18: return String.fromCharCode(0x0038);
+		case 0xFF19: return String.fromCharCode(0x0039);
+		case 0xFF1A: return String.fromCharCode(0x003A);
+		case 0xFF1B: return String.fromCharCode(0x003B);
+		case 0xFF1C: return String.fromCharCode(0x003C);
+		case 0xFF1D: return String.fromCharCode(0x003D);
+		case 0xFF1E: return String.fromCharCode(0x003E);
+		case 0xFF1F: return String.fromCharCode(0x003F);
+		case 0xFF20: return String.fromCharCode(0x0040);
+		case 0xFF21: return String.fromCharCode(0x0041);
+		case 0xFF22: return String.fromCharCode(0x0042);
+		case 0xFF23: return String.fromCharCode(0x0043);
+		case 0xFF24: return String.fromCharCode(0x0044);
+		case 0xFF25: return String.fromCharCode(0x0045);
+		case 0xFF26: return String.fromCharCode(0x0046);
+		case 0xFF27: return String.fromCharCode(0x0047);
+		case 0xFF28: return String.fromCharCode(0x0048);
+		case 0xFF29: return String.fromCharCode(0x0049);
+		case 0xFF2A: return String.fromCharCode(0x004A);
+		case 0xFF2B: return String.fromCharCode(0x004B);
+		case 0xFF2C: return String.fromCharCode(0x004C);
+		case 0xFF2D: return String.fromCharCode(0x004D);
+		case 0xFF2E: return String.fromCharCode(0x004E);
+		case 0xFF2F: return String.fromCharCode(0x004F);
+		case 0xFF30: return String.fromCharCode(0x0050);
+		case 0xFF31: return String.fromCharCode(0x0051);
+		case 0xFF32: return String.fromCharCode(0x0052);
+		case 0xFF33: return String.fromCharCode(0x0053);
+		case 0xFF34: return String.fromCharCode(0x0054);
+		case 0xFF35: return String.fromCharCode(0x0055);
+		case 0xFF36: return String.fromCharCode(0x0056);
+		case 0xFF37: return String.fromCharCode(0x0057);
+		case 0xFF38: return String.fromCharCode(0x0058);
+		case 0xFF39: return String.fromCharCode(0x0059);
+		case 0xFF3A: return String.fromCharCode(0x005A);
+		case 0xFF3B: return String.fromCharCode(0x005B);
+		case 0xFF3C: return String.fromCharCode(0x005C);
+		case 0xFF3D: return String.fromCharCode(0x005D);
+		case 0xFF3E: return String.fromCharCode(0x005E);
+		case 0xFF3F: return String.fromCharCode(0x005F);
+		case 0xFF40: return String.fromCharCode(0x0060);
+		case 0xFF41: return String.fromCharCode(0x0061);
+		case 0xFF42: return String.fromCharCode(0x0062);
+		case 0xFF43: return String.fromCharCode(0x0063);
+		case 0xFF44: return String.fromCharCode(0x0064);
+		case 0xFF45: return String.fromCharCode(0x0065);
+		case 0xFF46: return String.fromCharCode(0x0066);
+		case 0xFF47: return String.fromCharCode(0x0067);
+		case 0xFF48: return String.fromCharCode(0x0068);
+		case 0xFF49: return String.fromCharCode(0x0069);
+		case 0xFF4A: return String.fromCharCode(0x006A);
+		case 0xFF4B: return String.fromCharCode(0x006B);
+		case 0xFF4C: return String.fromCharCode(0x006C);
+		case 0xFF4D: return String.fromCharCode(0x006D);
+		case 0xFF4E: return String.fromCharCode(0x006E);
+		case 0xFF4F: return String.fromCharCode(0x006F);
+		case 0xFF50: return String.fromCharCode(0x0070);
+		case 0xFF51: return String.fromCharCode(0x0071);
+		case 0xFF52: return String.fromCharCode(0x0072);
+		case 0xFF53: return String.fromCharCode(0x0073);
+		case 0xFF54: return String.fromCharCode(0x0074);
+		case 0xFF55: return String.fromCharCode(0x0075);
+		case 0xFF56: return String.fromCharCode(0x0076);
+		case 0xFF57: return String.fromCharCode(0x0077);
+		case 0xFF58: return String.fromCharCode(0x0078);
+		case 0xFF59: return String.fromCharCode(0x0079);
+		case 0xFF5A: return String.fromCharCode(0x007A);
+		case 0xFF5B: return String.fromCharCode(0x007B);
+		case 0xFF5C: return String.fromCharCode(0x007C);
+		case 0xFF5D: return String.fromCharCode(0x007D);
+		case 0xFF5E: return String.fromCharCode(0x007E);
+		case 0xFFE4: return String.fromCharCode(0x007C);
+		case 0xFFEA: return String.fromCharCode(0x005E);
+		case 0xFFEC: return String.fromCharCode(0x0056);
+		default:
+			return '?';
+	}
+}
diff --git a/exec/load/utf8_ascii.js b/exec/load/utf8_ascii.js
new file mode 100644
index 0000000000000000000000000000000000000000..93a16d3667cad993c7772a24b20d66268c417043
--- /dev/null
+++ b/exec/load/utf8_ascii.js
@@ -0,0 +1,20 @@
+require("unicode_ascii.js", 'unicode_ascii');
+
+function utf8_ascii(uni)
+{
+	return uni.replace(/[\xc0-\xfd][\x80-\xbf]+/g, function(ch) {
+		var i;
+		var uc = ch.charCodeAt(0);
+		for (i=7; i>0; i--) {
+			if ((uc & 1<<i) == 0)
+				break;
+			uc &= ~(1<<i);
+		}
+		for (i=1; i<ch.length; i++) {
+			uc <<= 6;
+			uc |= ch.charCodeAt(i) & 0x3f;
+		}
+
+		return unicode_ascii(uc);
+	});
+}