ttProgram.py revision ce84d3215e08ab82dc78f25b5219730b8532046d
1"""ttLib.tables.ttProgram.py -- Assembler/disassembler for TrueType bytecode programs."""
2
3from __future__ import print_function, division
4from fontTools.misc.py23 import *
5from fontTools.misc.textTools import num2binary, binary2num, readHex
6import array
7import re
8
9# first, the list of instructions that eat bytes or words from the instruction stream
10
11streamInstructions = [
12#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
13#	opcode     mnemonic argBits         descriptive name pops pushes        eats from instruction stream          pushes
14#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
15	(0x40,    'NPUSHB',     0,             'PushNBytes',  0, -1), #                      n, b1, b2,...bn      b1,b2...bn
16	(0x41,    'NPUSHW',     0,             'PushNWords',  0, -1), #                       n, w1, w2,...w      w1,w2...wn
17	(0xb0,     'PUSHB',     3,              'PushBytes',  0, -1), #                          b0, b1,..bn  b0, b1, ...,bn
18	(0xb8,     'PUSHW',     3,              'PushWords',  0, -1), #                           w0,w1,..wn   w0 ,w1, ...wn
19#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
20]
21
22
23# next, the list of "normal" instructions
24
25instructions = [
26#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
27#	opcode     mnemonic  argBits        descriptive name pops pushes                                pops          pushes
28#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
29	(0x7f,        'AA',     0,            'AdjustAngle',  1,  0), #                                    p               -
30	(0x64,       'ABS',     0,               'Absolute',  1,  1), #                                    n             |n|
31	(0x60,       'ADD',     0,                    'Add',  2,  1), #                               n2, n1       (n1 + n2)
32	(0x27,  'ALIGNPTS',     0,               'AlignPts',  2,  0), #                               p2, p1               -
33	(0x3c,   'ALIGNRP',     0,        'AlignRelativePt', -1,  0), #             p1, p2, ... , ploopvalue               -
34	(0x5a,       'AND',     0,             'LogicalAnd',  2,  1), #                               e2, e1               b
35	(0x2b,      'CALL',     0,           'CallFunction',  1,  0), #                                    f               -
36	(0x67,   'CEILING',     0,                'Ceiling',  1,  1), #                                    n         ceil(n)
37	(0x25,    'CINDEX',     0,        'CopyXToTopStack',  1,  1), #                                    k              ek
38	(0x22,     'CLEAR',     0,             'ClearStack', -1,  0), #               all items on the stack               -
39	(0x4f,     'DEBUG',     0,              'DebugCall',  1,  0), #                                    n               -
40	(0x73,   'DELTAC1',     0,       'DeltaExceptionC1', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
41	(0x74,   'DELTAC2',     0,       'DeltaExceptionC2', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
42	(0x75,   'DELTAC3',     0,       'DeltaExceptionC3', -1,  0), #    argn, cn, argn-1,cn-1, , arg1, c1               -
43	(0x5d,   'DELTAP1',     0,       'DeltaExceptionP1', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
44	(0x71,   'DELTAP2',     0,       'DeltaExceptionP2', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
45	(0x72,   'DELTAP3',     0,       'DeltaExceptionP3', -1,  0), #   argn, pn, argn-1, pn-1, , arg1, p1               -
46	(0x24,     'DEPTH',     0,          'GetDepthStack',  0,  1), #                                    -               n
47	(0x62,       'DIV',     0,                 'Divide',  2,  1), #                               n2, n1   (n1 * 64)/ n2
48	(0x20,       'DUP',     0,      'DuplicateTopStack',  1,  2), #                                    e            e, e
49	(0x59,       'EIF',     0,                  'EndIf',  0,  0), #                                    -               -
50	(0x1b,      'ELSE',     0,                   'Else',  0,  0), #                                    -               -
51	(0x2d,      'ENDF',     0,  'EndFunctionDefinition',  0,  0), #                                    -               -
52	(0x54,        'EQ',     0,                  'Equal',  2,  1), #                               e2, e1               b
53	(0x57,      'EVEN',     0,                   'Even',  1,  1), #                                    e               b
54	(0x2c,      'FDEF',     0,     'FunctionDefinition',  1,  0), #                                    f               -
55	(0x4e,   'FLIPOFF',     0,         'SetAutoFlipOff',  0,  0), #                                    -               -
56	(0x4d,    'FLIPON',     0,          'SetAutoFlipOn',  0,  0), #                                    -               -
57	(0x80,    'FLIPPT',     0,              'FlipPoint', -1,  0), #              p1, p2, ..., ploopvalue               -
58	(0x82, 'FLIPRGOFF',     0,           'FlipRangeOff',  2,  0), #                                 h, l               -
59	(0x81,  'FLIPRGON',     0,            'FlipRangeOn',  2,  0), #                                 h, l               -
60	(0x66,     'FLOOR',     0,                  'Floor',  1,  1), #                                    n        floor(n)
61	(0x46,        'GC',     1,      'GetCoordOnPVector',  1,  1), #                                    p               c
62	(0x88,   'GETINFO',     0,                'GetInfo',  1,  1), #                             selector          result
63	(0x0d,       'GFV',     0,             'GetFVector',  0,  2), #                                    -          px, py
64	(0x0c,       'GPV',     0,             'GetPVector',  0,  2), #                                    -          px, py
65	(0x52,        'GT',     0,            'GreaterThan',  2,  1), #                               e2, e1               b
66	(0x53,      'GTEQ',     0,     'GreaterThanOrEqual',  2,  1), #                               e2, e1               b
67	(0x89,      'IDEF',     0,  'InstructionDefinition',  1,  0), #                                    f               -
68	(0x58,        'IF',     0,                     'If',  1,  0), #                                    e               -
69	(0x8e,  'INSTCTRL',     0,    'SetInstrExecControl',  2,  0), #                                 s, v               -
70	(0x39,        'IP',     0,         'InterpolatePts', -1,  0), #             p1, p2, ... , ploopvalue               -
71	(0x0f,     'ISECT',     0,      'MovePtToIntersect',  5,  0), #                    a1, a0, b1, b0, p               -
72	(0x30,       'IUP',     1,      'InterpolateUntPts',  0,  0), #                                    -               -
73	(0x1c,      'JMPR',     0,                   'Jump',  1,  0), #                               offset               -
74	(0x79,      'JROF',     0,    'JumpRelativeOnFalse',  2,  0), #                            e, offset               -
75	(0x78,      'JROT',     0,     'JumpRelativeOnTrue',  2,  0), #                            e, offset               -
76	(0x2a,  'LOOPCALL',     0,    'LoopAndCallFunction',  2,  0), #                             f, count               -
77	(0x50,        'LT',     0,               'LessThan',  2,  1), #                               e2, e1               b
78	(0x51,      'LTEQ',     0,        'LessThenOrEqual',  2,  1), #                               e2, e1               b
79	(0x8b,       'MAX',     0,                'Maximum',  2,  1), #                               e2, e1     max(e1, e2)
80	(0x49,        'MD',     1,        'MeasureDistance',  2,  1), #                                p2,p1               d
81	(0x2e,      'MDAP',     1,        'MoveDirectAbsPt',  1,  0), #                                    p               -
82	(0xc0,      'MDRP',     5,        'MoveDirectRelPt',  1,  0), #                                    p               -
83	(0x3e,      'MIAP',     1,      'MoveIndirectAbsPt',  2,  0), #                                 n, p               -
84	(0x8c,       'MIN',     0,                'Minimum',  2,  1), #                               e2, e1     min(e1, e2)
85	(0x26,    'MINDEX',     0,        'MoveXToTopStack',  1,  1), #                                    k              ek
86	(0xe0,      'MIRP',     5,      'MoveIndirectRelPt',  2,  0), #                                 n, p               -
87	(0x4b,     'MPPEM',     0,      'MeasurePixelPerEm',  0,  1), #                                    -            ppem
88	(0x4c,       'MPS',     0,       'MeasurePointSize',  0,  1), #                                    -       pointSize
89	(0x3a,     'MSIRP',     1,    'MoveStackIndirRelPt',  2,  0), #                                 d, p               -
90	(0x63,       'MUL',     0,               'Multiply',  2,  1), #                               n2, n1    (n1 * n2)/64
91	(0x65,       'NEG',     0,                 'Negate',  1,  1), #                                    n              -n
92	(0x55,       'NEQ',     0,               'NotEqual',  2,  1), #                               e2, e1               b
93	(0x5c,       'NOT',     0,             'LogicalNot',  1,  1), #                                    e       ( not e )
94	(0x6c,    'NROUND',     2,                'NoRound',  1,  1), #                                   n1              n2
95	(0x56,       'ODD',     0,                    'Odd',  1,  1), #                                    e               b
96	(0x5b,        'OR',     0,              'LogicalOr',  2,  1), #                               e2, e1               b
97	(0x21,       'POP',     0,            'PopTopStack',  1,  0), #                                    e               -
98	(0x45,      'RCVT',     0,                'ReadCVT',  1,  1), #                             location           value
99	(0x7d,      'RDTG',     0,        'RoundDownToGrid',  0,  0), #                                    -               -
100	(0x7a,      'ROFF',     0,               'RoundOff',  0,  0), #                                    -               -
101	(0x8a,      'ROLL',     0,      'RollTopThreeStack',  3,  3), #                                a,b,c           b,a,c
102	(0x68,     'ROUND',     2,                  'Round',  1,  1), #                                   n1              n2
103	(0x43,        'RS',     0,              'ReadStore',  1,  1), #                                    n               v
104	(0x3d,      'RTDG',     0,      'RoundToDoubleGrid',  0,  0), #                                    -               -
105	(0x18,       'RTG',     0,            'RoundToGrid',  0,  0), #                                    -               -
106	(0x19,      'RTHG',     0,        'RoundToHalfGrid',  0,  0), #                                    -               -
107	(0x7c,      'RUTG',     0,          'RoundUpToGrid',  0,  0), #                                    -               -
108	(0x77,  'S45ROUND',     0,    'SuperRound45Degrees',  1,  0), #                                    n               -
109	(0x7e,     'SANGW',     0,         'SetAngleWeight',  1,  0), #                               weight               -
110	(0x85,  'SCANCTRL',     0,  'ScanConversionControl',  1,  0), #                                    n               -
111	(0x8d,  'SCANTYPE',     0,               'ScanType',  1,  0), #                                    n               -
112	(0x48,      'SCFS',     0,    'SetCoordFromStackFP',  2,  0), #                                 c, p               -
113	(0x1d,    'SCVTCI',     0,            'SetCVTCutIn',  1,  0), #                                    n               -
114	(0x5e,       'SDB',     0,   'SetDeltaBaseInGState',  1,  0), #                                    n               -
115	(0x86,    'SDPVTL',     1,   'SetDualPVectorToLine',  2,  0), #                               p2, p1               -
116	(0x5f,       'SDS',     0,  'SetDeltaShiftInGState',  1,  0), #                                    n               -
117	(0x0b,     'SFVFS',     0,    'SetFVectorFromStack',  2,  0), #                                 y, x               -
118	(0x04,    'SFVTCA',     1,       'SetFVectorToAxis',  0,  0), #                                    -               -
119	(0x08,     'SFVTL',     1,       'SetFVectorToLine',  2,  0), #                               p2, p1               -
120	(0x0e,    'SFVTPV',     0,    'SetFVectorToPVector',  0,  0), #                                    -               -
121	(0x34,       'SHC',     1,   'ShiftContourByLastPt',  1,  0), #                                    c               -
122	(0x32,       'SHP',     1,  'ShiftPointByLastPoint', -1,  0), #              p1, p2, ..., ploopvalue               -
123	(0x38,     'SHPIX',     0,       'ShiftZoneByPixel', -1,  0), #           d, p1, p2, ..., ploopvalue               -
124	(0x36,       'SHZ',     1,   'ShiftZoneByLastPoint',  1,  0), #                                    e               -
125	(0x17,     'SLOOP',     0,        'SetLoopVariable',  1,  0), #                                    n               -
126	(0x1a,       'SMD',     0,     'SetMinimumDistance',  1,  0), #                             distance               -
127	(0x0a,     'SPVFS',     0,    'SetPVectorFromStack',  2,  0), #                                 y, x               -
128	(0x02,    'SPVTCA',     1,       'SetPVectorToAxis',  0,  0), #                                    -               -
129	(0x06,     'SPVTL',     1,       'SetPVectorToLine',  2,  0), #                               p2, p1               -
130	(0x76,    'SROUND',     0,             'SuperRound',  1,  0), #                                    n               -
131	(0x10,      'SRP0',     0,           'SetRefPoint0',  1,  0), #                                    p               -
132	(0x11,      'SRP1',     0,           'SetRefPoint1',  1,  0), #                                    p               -
133	(0x12,      'SRP2',     0,           'SetRefPoint2',  1,  0), #                                    p               -
134	(0x1f,       'SSW',     0,         'SetSingleWidth',  1,  0), #                                    n               -
135	(0x1e,     'SSWCI',     0,    'SetSingleWidthCutIn',  1,  0), #                                    n               -
136	(0x61,       'SUB',     0,               'Subtract',  2,  1), #                               n2, n1       (n1 - n2)
137	(0x00,     'SVTCA',     1,      'SetFPVectorToAxis',  0,  0), #                                    -               -
138	(0x23,      'SWAP',     0,           'SwapTopStack',  2,  2), #                               e2, e1          e1, e2
139	(0x13,      'SZP0',     0,        'SetZonePointer0',  1,  0), #                                    n               -
140	(0x14,      'SZP1',     0,        'SetZonePointer1',  1,  0), #                                    n               -
141	(0x15,      'SZP2',     0,        'SetZonePointer2',  1,  0), #                                    n               -
142	(0x16,      'SZPS',     0,        'SetZonePointerS',  1,  0), #                                    n               -
143	(0x29,       'UTP',     0,              'UnTouchPt',  1,  0), #                                    p               -
144	(0x70,     'WCVTF',     0,       'WriteCVTInFUnits',  2,  0), #                                 n, l               -
145	(0x44,     'WCVTP',     0,       'WriteCVTInPixels',  2,  0), #                                 v, l               -
146	(0x42,        'WS',     0,             'WriteStore',  2,  0), #                                 v, l               -
147#	------  -----------  -----  ------------------------ ---  ------  ----------------------------------  --------------
148]
149
150
151def bitRepr(value, bits):
152	s = ""
153	for i in range(bits):
154		s = "01"[value & 0x1] + s
155		value = value >> 1
156	return s
157
158
159_mnemonicPat = re.compile("[A-Z][A-Z0-9]*$")
160
161def _makeDict(instructionList):
162	opcodeDict = {}
163	mnemonicDict = {}
164	for op, mnemonic, argBits, name, pops, pushes in instructionList:
165		assert _mnemonicPat.match(mnemonic)
166		mnemonicDict[mnemonic] = op, argBits
167		if argBits:
168			argoffset = op
169			for i in range(1 << argBits):
170				opcodeDict[op+i] = mnemonic, argBits, argoffset
171		else:
172				opcodeDict[op] = mnemonic, 0, 0
173	return opcodeDict, mnemonicDict
174
175streamOpcodeDict, streamMnemonicDict = _makeDict(streamInstructions)
176opcodeDict, mnemonicDict = _makeDict(instructions)
177
178class tt_instructions_error(Exception):
179	def __init__(self, error):
180		self.error = error
181	def __str__(self):
182		return "TT instructions error: %s" % repr(self.error)
183
184
185_comment = r"/\*.*?\*/"
186_instruction = r"([A-Z][A-Z0-9]*)\s*\[(.*?)\]"
187_number = r"-?[0-9]+"
188_token = "(%s)|(%s)|(%s)" % (_instruction, _number, _comment)
189
190_tokenRE = re.compile(_token)
191_whiteRE = re.compile(r"\s*")
192
193_pushCountPat = re.compile(r"[A-Z][A-Z0-9]*\s*\[.*?\]\s*/\* ([0-9]*).*?\*/")
194
195
196def _skipWhite(data, pos):
197	m = _whiteRE.match(data, pos)
198	newPos = m.regs[0][1]
199	assert newPos >= pos
200	return newPos
201
202
203class Program(object):
204
205	def __init__(self):
206		pass
207
208	def fromBytecode(self, bytecode):
209		self.bytecode = array.array("B", bytecode)
210		if hasattr(self, "assembly"):
211			del self.assembly
212
213	def fromAssembly(self, assembly):
214		self.assembly = assembly
215		if hasattr(self, "bytecode"):
216			del self.bytecode
217
218	def getBytecode(self):
219		if not hasattr(self, "bytecode"):
220			self._assemble()
221		return self.bytecode.tostring()
222
223	def getAssembly(self):
224		if not hasattr(self, "assembly"):
225			self._disassemble()
226		return self.assembly
227
228	def toXML(self, writer, ttFont):
229		if not hasattr (ttFont, "disassembleInstructions") or ttFont.disassembleInstructions:
230			assembly = self.getAssembly()
231			writer.begintag("assembly")
232			writer.newline()
233			i = 0
234			nInstr = len(assembly)
235			while i < nInstr:
236				instr = assembly[i]
237				writer.write(instr)
238				writer.newline()
239				m = _pushCountPat.match(instr)
240				i = i + 1
241				if m:
242					nValues = int(m.group(1))
243					line = []
244					j = 0
245					for j in range(nValues):
246						if j and not (j % 25):
247							writer.write(' '.join(line))
248							writer.newline()
249							line = []
250						line.append(assembly[i+j])
251					writer.write(' '.join(line))
252					writer.newline()
253					i = i + j + 1
254			writer.endtag("assembly")
255		else:
256			writer.begintag("bytecode")
257			writer.newline()
258			writer.dumphex(self.getBytecode())
259			writer.endtag("bytecode")
260
261	def fromXML(self, name, attrs, content, ttFont):
262		if name == "assembly":
263			self.fromAssembly(strjoin(content))
264			self._assemble()
265			del self.assembly
266		else:
267			assert name == "bytecode"
268			self.fromBytecode(readHex(content))
269
270	def _assemble(self):
271		assembly = self.assembly
272		if isinstance(assembly, type([])):
273			assembly = ' '.join(assembly)
274		bytecode = []
275		push = bytecode.append
276		lenAssembly = len(assembly)
277		pos = _skipWhite(assembly, 0)
278		while pos < lenAssembly:
279			m = _tokenRE.match(assembly, pos)
280			if m is None:
281				raise tt_instructions_error("Syntax error in TT program (%s)" % assembly[pos-5:pos+15])
282			dummy, mnemonic, arg, number, comment = m.groups()
283			pos = m.regs[0][1]
284			if comment:
285				continue
286
287			arg = arg.strip()
288			if mnemonic.startswith("INSTR"):
289				# Unknown instruction
290				op = int(mnemonic[5:])
291				push(op)
292			elif mnemonic not in ("PUSH", "NPUSHB", "NPUSHW", "PUSHB", "PUSHW"):
293				op, argBits = mnemonicDict[mnemonic]
294				if len(arg) != argBits:
295					raise tt_instructions_error("Incorrect number of argument bits (%s[%s])" % (mnemonic, arg))
296				if arg:
297					arg = binary2num(arg)
298					push(op + arg)
299				else:
300					push(op)
301			else:
302				args = []
303				pos = _skipWhite(assembly, pos)
304				while pos < lenAssembly:
305					m = _tokenRE.match(assembly, pos)
306					if m is None:
307						raise tt_instructions_error("Syntax error in TT program (%s)" % assembly[pos:pos+15])
308					dummy, _mnemonic, arg, number, comment = m.groups()
309					if number is None and comment is None:
310						break
311					pos = m.regs[0][1]
312					pos = _skipWhite(assembly, pos)
313					if comment is not None:
314						continue
315					args.append(int(number))
316				nArgs = len(args)
317				if mnemonic == "PUSH":
318					if nArgs > 8:
319						mnemonic = "N" + mnemonic
320					if max(args) > 255 or min(args) < 0:
321						mnemonic += "W"
322					else:
323						mnemonic += "B"
324
325				words = mnemonic[-1] == "W"
326				op, argBits = streamMnemonicDict[mnemonic]
327				if mnemonic[0] != "N":
328					assert nArgs <= 8, nArgs
329					op = op + nArgs - 1
330
331				while nArgs:
332					push(op)
333					num = min(nArgs, 255)
334					if mnemonic[0] == "N":
335						push(num)
336					if words:
337						for value in args[:num]:
338							assert -32768 <= value < 32768, "PUSHW value out of range %d" % value
339							push((value >> 8) & 0xff)
340							push(value & 0xff)
341					else:
342						for value in args:
343							assert 0 <= value < 256, "PUSHB value out of range %d" % value
344							push(value)
345					args = args[num:]
346					nArgs -= num
347			pos = _skipWhite(assembly, pos)
348
349		if bytecode:
350			assert max(bytecode) < 256 and min(bytecode) >= 0
351		self.bytecode = array.array("B", bytecode)
352
353	def _disassemble(self):
354		assembly = []
355		i = 0
356		bytecode = self.bytecode
357		numBytecode = len(bytecode)
358		while i < numBytecode:
359			op = bytecode[i]
360			try:
361				mnemonic, argBits, argoffset = opcodeDict[op]
362			except KeyError:
363				if op in streamOpcodeDict:
364					mnemonic, argBits, argoffset = streamOpcodeDict[op]
365					words = mnemonic[-1] == "W"
366					if argBits:
367						nValues = op - argoffset + 1
368					else:
369						i = i + 1
370						nValues = bytecode[i]
371					i = i + 1
372					assert nValues > 0
373					mnemonic = "PUSH" # Discard variant distinction now
374					if nValues == 1:
375						assembly.append("%s[ ]  /* %s value pushed */" % (mnemonic, nValues))
376					else:
377						assembly.append("%s[ ]  /* %s values pushed */" % (mnemonic, nValues))
378					if not words:
379						for j in range(nValues):
380							value = bytecode[i]
381							assembly.append(repr(value))
382							i = i + 1
383					else:
384						for j in range(nValues):
385							# cast to signed int16
386							value = (bytecode[i] << 8) | bytecode[i+1]
387							if value >= 0x8000:
388								value = value - 0x10000
389							assembly.append(repr(value))
390							i = i + 2
391				else:
392					assembly.append("INSTR%d[ ]" % op)
393					i = i + 1
394			else:
395				if argBits:
396					assembly.append(mnemonic + "[%s]" % num2binary(op - argoffset, argBits))
397				else:
398					assembly.append(mnemonic + "[ ]")
399				i = i + 1
400		self.assembly = assembly
401
402
403if __name__ == "__main__":
404	bc = """@;:9876543210/.-,+*)(\'&%$#"! \037\036\035\034\033\032\031\030\027\026\025\024\023\022\021\020\017\016\015\014\013\012\011\010\007\006\005\004\003\002\001\000,\001\260\030CXEj\260\031C`\260F#D#\020 \260FN\360M/\260\000\022\033!#\0213Y-,\001\260\030CX\260\005+\260\000\023K\260\024PX\261\000@8Y\260\006+\033!#\0213Y-,\001\260\030CXN\260\003%\020\362!\260\000\022M\033 E\260\004%\260\004%#Jad\260(RX!#\020\326\033\260\003%\020\362!\260\000\022YY-,\260\032CX!!\033\260\002%\260\002%I\260\003%\260\003%Ja d\260\020PX!!!\033\260\003%\260\003%I\260\000PX\260\000PX\270\377\3428!\033\260\0208!Y\033\260\000RX\260\0368!\033\270\377\3608!YYYY-,\001\260\030CX\260\005+\260\000\023K\260\024PX\271\000\000\377\3008Y\260\006+\033!#\0213Y-,N\001\212\020\261F\031CD\260\000\024\261\000F\342\260\000\025\271\000\000\377\3608\000\260\000<\260(+\260\002%\020\260\000<-,\001\030\260\000/\260\001\024\362\260\001\023\260\001\025M\260\000\022-,\001\260\030CX\260\005+\260\000\023\271\000\000\377\3408\260\006+\033!#\0213Y-,\001\260\030CXEdj#Edi\260\031Cd``\260F#D#\020 \260F\360/\260\000\022\033!! \212 \212RX\0213\033!!YY-,\001\261\013\012C#Ce\012-,\000\261\012\013C#C\013-,\000\260F#p\261\001F>\001\260F#p\261\002FE:\261\002\000\010\015-,\260\022+\260\002%E\260\002%Ej\260@\213`\260\002%#D!!!-,\260\023+\260\002%E\260\002%Ej\270\377\300\214`\260\002%#D!!!-,\260\000\260\022+!!!-,\260\000\260\023+!!!-,\001\260\006C\260\007Ce\012-, i\260@a\260\000\213 \261,\300\212\214\270\020\000b`+\014d#da\\X\260\003aY-,\261\000\003%EhT\260\034KPZX\260\003%E\260\003%E`h \260\004%#D\260\004%#D\033\260\003% Eh \212#D\260\003%Eh`\260\003%#DY-,\260\003% Eh \212#D\260\003%Edhe`\260\004%\260\001`#D-,\260\011CX\207!\300\033\260\022CX\207E\260\021+\260G#D\260Gz\344\033\003\212E\030i \260G#D\212\212\207 \260\240QX\260\021+\260G#D\260Gz\344\033!\260Gz\344YYY\030-, \212E#Eh`D-,EjB-,\001\030/-,\001\260\030CX\260\004%\260\004%Id#Edi\260@\213a \260\200bj\260\002%\260\002%a\214\260\031C`\260F#D!\212\020\260F\366!\033!!!!Y-,\001\260\030CX\260\002%E\260\002%Ed`j\260\003%Eja \260\004%Ej \212\213e\260\004%#D\214\260\003%#D!!\033 EjD EjDY-,\001 E\260\000U\260\030CZXEh#Ei\260@\213a \260\200bj \212#a \260\003%\213e\260\004%#D\214\260\003%#D!!\033!!\260\031+Y-,\001\212\212Ed#EdadB-,\260\004%\260\004%\260\031+\260\030CX\260\004%\260\004%\260\003%\260\033+\001\260\002%C\260@T\260\002%C\260\000TZX\260\003% E\260@aDY\260\002%C\260\000T\260\002%C\260@TZX\260\004% E\260@`DYY!!!!-,\001KRXC\260\002%E#aD\033!!Y-,\001KRXC\260\002%E#`D\033!!Y-,KRXED\033!!Y-,\001 \260\003%#I\260@`\260 c \260\000RX#\260\002%8#\260\002%e8\000\212c8\033!!!!!Y\001-,KPXED\033!!Y-,\001\260\005%\020# \212\365\000\260\001`#\355\354-,\001\260\005%\020# \212\365\000\260\001a#\355\354-,\001\260\006%\020\365\000\355\354-,F#F`\212\212F# F\212`\212a\270\377\200b# \020#\212\261KK\212pE` \260\000PX\260\001a\270\377\272\213\033\260F\214Y\260\020`h\001:-, E\260\003%FRX\260\002%F ha\260\003%\260\003%?#!8\033!\021Y-, E\260\003%FPX\260\002%F ha\260\003%\260\003%?#!8\033!\021Y-,\000\260\007C\260\006C\013-,\212\020\354-,\260\014CX!\033 F\260\000RX\270\377\3608\033\260\0208YY-, \260\000UX\270\020\000c\260\003%Ed\260\003%Eda\260\000SX\260\002\033\260@a\260\003Y%EiSXED\033!!Y\033!\260\002%E\260\002%Ead\260(QXED\033!!YY-,!!\014d#d\213\270@\000b-,!\260\200QX\014d#d\213\270 \000b\033\262\000@/+Y\260\002`-,!\260\300QX\014d#d\213\270\025Ub\033\262\000\200/+Y\260\002`-,\014d#d\213\270@\000b`#!-,KSX\260\004%\260\004%Id#Edi\260@\213a \260\200bj\260\002%\260\002%a\214\260F#D!\212\020\260F\366!\033!\212\021#\022 9/Y-,\260\002%\260\002%Id\260\300TX\270\377\3708\260\0108\033!!Y-,\260\023CX\003\033\002Y-,\260\023CX\002\033\003Y-,\260\012+#\020 <\260\027+-,\260\002%\270\377\3608\260(+\212\020# \320#\260\020+\260\005CX\300\033<Y \020\021\260\000\022\001-,KS#KQZX8\033!!Y-,\001\260\002%\020\320#\311\001\260\001\023\260\000\024\020\260\001<\260\001\026-,\001\260\000\023\260\001\260\003%I\260\003\0278\260\001\023-,KS#KQZX E\212`D\033!!Y-, 9/-"""
405
406	p = Program()
407	p.fromBytecode(bc)
408	asm = p.getAssembly()
409	p.fromAssembly(asm)
410	print(bc == p.getBytecode())
411
412