WebSVN – tendra.SVN – Blame – /branches/algol60/src/lib/tdf/def_4_0.db

Rev	Author	Line No.	Line
2	7u83	1	`#`
		2	`# Crown Copyright (c) 1997`
		3	`#`
		4	`# This TenDRA(r) Computer Program is subject to Copyright`
		5	`# owned by the United Kingdom Secretary of State for Defence`
		6	`# acting through the Defence Evaluation and Research Agency`
		7	`# (DERA). It is made available to Recipients with a`
		8	`# royalty-free licence for its use, reproduction, transfer`
		9	`# to other parties and amendment for any purpose not excluding`
		10	`# product development provided that any such use et cetera`
		11	`# shall be deemed to be acceptance of the following conditions:-`
		12	`#`
		13	`# (1) Its Recipients shall ensure that this Notice is`
		14	`# reproduced upon any copies or amended versions of it;`
		15	`#`
		16	`# (2) Any amended version of it shall be clearly marked to`
		17	`# show both the nature of and the organisation responsible`
		18	`# for the relevant amendment or amendments;`
		19	`#`
		20	`# (3) Its onward transfer from a recipient to another`
		21	`# party shall be deemed to be that party's acceptance of`
		22	`# these conditions;`
		23	`#`
		24	`# (4) DERA gives no warranty or assurance as to its`
		25	`# quality or suitability for any purpose and DERA accepts`
		26	`# no liability whatsoever in relation to any use to which`
		27	`# it may be put.`
		28	`#`
		29
		30	`[`
		31	`[sorts,`
		32	`[`
		33	`[`
		34	`[sortid, diag_descriptor],`
		35	`[encoding_bits, 2],`
		36	`[has_extension, 1],`
		37	`[constructs,`
		38	`[`
		39	`[`
		40	`[construct_name, diag_desc_id],`
		41	`[encoding, 1],`
		42	`[result_sort, diag_descriptor],`
		43	`[parameter_sorts,`
		44	`[`
		45	`[src_name, tdfstring],`
		46	`[whence, sourcemark],`
		47	`[found_at, exp],`
		48	`[type, diag_type]]]],`
		49	`[`
		50	`[construct_name, diag_desc_struct],`
		51	`[encoding, 2],`
		52	`[result_sort, diag_descriptor],`
		53	`[parameter_sorts,`
		54	`[`
		55	`[src_name, tdfstring],`
		56	`[whence, sourcemark],`
		57	`[new_type, diag_type]]]],`
		58	`[`
		59	`[construct_name, diag_desc_typedef],`
		60	`[encoding, 3],`
		61	`[result_sort, diag_descriptor],`
		62	`[parameter_sorts,`
		63	`[`
		64	`[src_name, tdfstring],`
		65	`[whence, sourcemark],`
		66	`[new_type, diag_type]]]]]]],`
		67	`[`
		68	`[sortid, diag_unit],`
		69	`[encoding_bits, 0],`
		70	`[has_extension, 0],`
		71	`[constructs,`
		72	`[`
		73	`[`
		74	`[construct_name, build_diag_unit],`
		75	`[encoding, 0],`
		76	`[result_sort, diag_unit],`
		77	`[parameter_sorts,`
		78	`[`
		79	`[no_labels, tdfint],`
		80	`[descriptors, diag_descriptor_list]]]]]]],`
		81	`[`
		82	`[sortid, diag_tag],`
		83	`[encoding_bits, 1],`
		84	`[has_extension, 1],`
		85	`[constructs,`
		86	`[`
		87	`[`
		88	`[construct_name, make_diag_tag],`
		89	`[encoding, 1],`
		90	`[result_sort, diag_tag],`
		91	`[parameter_sorts,`
		92	`[`
		93	`[num, tdfint]]]]]]],`
		94	`[`
		95	`[sortid, diag_tagdef],`
		96	`[encoding_bits, 1],`
		97	`[has_extension, 1],`
		98	`[constructs,`
		99	`[`
		100	`[`
		101	`[construct_name, make_diag_tagdef],`
		102	`[encoding, 1],`
		103	`[result_sort, diag_tagdef],`
		104	`[parameter_sorts,`
		105	`[`
		106	`[tno, tdfint],`
		107	`[dtype, diag_type]]]]]]],`
		108	`[`
		109	`[sortid, diag_type_unit],`
		110	`[encoding_bits, 0],`
		111	`[has_extension, 0],`
		112	`[constructs,`
		113	`[`
		114	`[`
		115	`[construct_name, build_diagtype_unit],`
		116	`[encoding, 0],`
		117	`[result_sort, diag_type_unit],`
		118	`[parameter_sorts,`
		119	`[`
		120	`[no_labels, tdfint],`
		121	`[tagdefs, diag_tagdef_list]]]]]]],`
		122	`[`
		123	`[sortid, diag_type],`
		124	`[encoding_bits, 4],`
		125	`[has_extension, 1],`
		126	`[constructs,`
		127	`[`
		128	`[`
		129	`[construct_name, diag_type_apply_token],`
		130	`[encoding, 1],`
		131	`[result_sort, diag_type],`
		132	`[parameter_sorts,`
		133	`[`
		134	`[token_value, token],`
		135	`[token_args, bitstream]]]],`
		136	`[`
		137	`[construct_name, diag_array],`
		138	`[encoding, 2],`
		139	`[result_sort, diag_type],`
		140	`[parameter_sorts,`
		141	`[`
		142	`[element_type, diag_type],`
		143	`[stride, exp],`
		144	`[lower_bound, exp],`
		145	`[upper_bound, exp],`
		146	`[index_type, diag_type]]]],`
		147	`[`
		148	`[construct_name, diag_bitfield],`
		149	`[encoding, 3],`
		150	`[result_sort, diag_type],`
		151	`[parameter_sorts,`
		152	`[`
		153	`[type, diag_type],`
		154	`[number_of_bits, nat]]]],`
		155	`[`
		156	`[construct_name, diag_enum],`
		157	`[encoding, 4],`
		158	`[result_sort, diag_type],`
		159	`[parameter_sorts,`
		160	`[`
		161	`[base_type, diag_type],`
		162	`[enum_name, tdfstring],`
		163	`[values, enum_values_list]]]],`
		164	`[`
		165	`[construct_name, diag_floating_variety],`
		166	`[encoding, 5],`
		167	`[result_sort, diag_type],`
		168	`[parameter_sorts,`
		169	`[`
		170	`[var, floating_variety]]]],`
		171	`[`
		172	`[construct_name, diag_loc],`
		173	`[encoding, 6],`
		174	`[result_sort, diag_type],`
		175	`[parameter_sorts,`
		176	`[`
		177	`[object, diag_type],`
		178	`[qualifier, diag_tq]]]],`
		179	`[`
		180	`[construct_name, diag_proc],`
		181	`[encoding, 7],`
		182	`[result_sort, diag_type],`
		183	`[parameter_sorts,`
		184	`[`
		185	`[params, diag_type_list],`
		186	`[optional_args, bool],`
		187	`[result_type, diag_type]]]],`
		188	`[`
		189	`[construct_name, diag_ptr],`
		190	`[encoding, 8],`
		191	`[result_sort, diag_type],`
		192	`[parameter_sorts,`
		193	`[`
		194	`[object, diag_type],`
		195	`[qualifier, diag_tq]]]],`
		196	`[`
		197	`[construct_name, diag_struct],`
		198	`[encoding, 9],`
		199	`[result_sort, diag_type],`
		200	`[parameter_sorts,`
		201	`[`
		202	`[tdf_shape, shape],`
		203	`[src_name, tdfstring],`
		204	`[fields, diag_field_list]]]],`
		205	`[`
		206	`[construct_name, diag_type_null],`
		207	`[encoding, 10],`
		208	`[result_sort, diag_type],`
		209	`[parameter_sorts,`
		210	`[]]],`
		211	`[`
		212	`[construct_name, diag_union],`
		213	`[encoding, 11],`
		214	`[result_sort, diag_type],`
		215	`[parameter_sorts,`
		216	`[`
		217	`[tdf_shape, shape],`
		218	`[src_name, tdfstring],`
		219	`[fields, diag_field_list]]]],`
		220	`[`
		221	`[construct_name, diag_variety],`
		222	`[encoding, 12],`
		223	`[result_sort, diag_type],`
		224	`[parameter_sorts,`
		225	`[`
		226	`[var, variety]]]],`
		227	`[`
		228	`[construct_name, use_diag_tag],`
		229	`[encoding, 13],`
		230	`[result_sort, diag_type],`
		231	`[parameter_sorts,`
		232	`[`
		233	`[dtag, diag_tag]]]]]]],`
		234	`[`
		235	`[sortid, enum_values],`
		236	`[encoding_bits, 0],`
		237	`[has_extension, 0],`
		238	`[constructs,`
		239	`[`
		240	`[`
		241	`[construct_name, make_enum_values],`
		242	`[encoding, 0],`
		243	`[result_sort, enum_values],`
		244	`[parameter_sorts,`
		245	`[`
		246	`[value, exp],`
		247	`[src_name, tdfstring]]]]]]],`
		248	`[`
		249	`[sortid, diag_field],`
		250	`[encoding_bits, 0],`
		251	`[has_extension, 0],`
		252	`[constructs,`
		253	`[`
		254	`[`
		255	`[construct_name, make_diag_field],`
		256	`[encoding, 0],`
		257	`[result_sort, diag_field],`
		258	`[parameter_sorts,`
		259	`[`
		260	`[field_name, tdfstring],`
		261	`[found_at, exp],`
		262	`[field_type, diag_type]]]]]]],`
		263	`[`
		264	`[sortid, diag_tq],`
		265	`[encoding_bits, 2],`
		266	`[has_extension, 1],`
		267	`[constructs,`
		268	`[`
		269	`[`
		270	`[construct_name, add_diag_const],`
		271	`[encoding, 1],`
		272	`[result_sort, diag_tq],`
		273	`[parameter_sorts,`
		274	`[`
		275	`[qual, diag_tq]]]],`
		276	`[`
		277	`[construct_name, add_diag_volatile],`
		278	`[encoding, 2],`
		279	`[result_sort, diag_tq],`
		280	`[parameter_sorts,`
		281	`[`
		282	`[qual, diag_tq]]]],`
		283	`[`
		284	`[construct_name, diag_tq_null],`
		285	`[encoding, 3],`
		286	`[result_sort, diag_tq],`
		287	`[parameter_sorts,`
		288	`[]]]]]],`
		289	`[`
		290	`[sortid, filename],`
		291	`[encoding_bits, 2],`
		292	`[has_extension, 1],`
		293	`[constructs,`
		294	`[`
		295	`[`
		296	`[construct_name, filename_apply_token],`
		297	`[encoding, 1],`
		298	`[result_sort, filename],`
		299	`[parameter_sorts,`
		300	`[`
		301	`[token_value, token],`
		302	`[token_args, bitstream]]]],`
		303	`[`
		304	`[construct_name, make_filename],`
		305	`[encoding, 2],`
		306	`[result_sort, filename],`
		307	`[parameter_sorts,`
		308	`[`
		309	`[date, nat],`
		310	`[machine, tdfstring],`
		311	`[file, tdfstring]]]]]]],`
		312	`[`
		313	`[sortid, sourcemark],`
		314	`[encoding_bits, 1],`
		315	`[has_extension, 1],`
		316	`[constructs,`
		317	`[`
		318	`[`
		319	`[construct_name, make_sourcemark],`
		320	`[encoding, 1],`
		321	`[result_sort, sourcemark],`
		322	`[parameter_sorts,`
		323	`[`
		324	`[file, filename],`
		325	`[line_no, nat],`
		326	`[char_offset, nat]]]]]]],`
		327	`[`
		328	`[sortid, linkinfo_props],`
		329	`[encoding_bits, 0],`
		330	`[has_extension, 0],`
		331	`[constructs,`
		332	`[`
		333	`[`
		334	`[construct_name, make_linkinfos],`
		335	`[encoding, 0],`
		336	`[result_sort, linkinfo_props],`
		337	`[parameter_sorts,`
		338	`[`
		339	`[no_labels, tdfint],`
		340	`[tds, linkinfo_list]]]]]]],`
		341	`[`
		342	`[sortid, linkinfo],`
		343	`[encoding_bits, 2],`
		344	`[has_extension, 1],`
		345	`[constructs,`
		346	`[`
		347	`[`
		348	`[construct_name, static_name_def],`
		349	`[encoding, 1],`
		350	`[result_sort, linkinfo],`
		351	`[parameter_sorts,`
		352	`[`
		353	`[assexp, exp],`
		354	`[id, tdfstring]]]],`
		355	`[`
		356	`[construct_name, make_comment],`
		357	`[encoding, 2],`
		358	`[result_sort, linkinfo],`
		359	`[parameter_sorts,`
		360	`[`
		361	`[n, tdfstring]]]],`
		362	`[`
		363	`[construct_name, make_weak_defn],`
		364	`[encoding, 3],`
		365	`[result_sort, linkinfo],`
		366	`[parameter_sorts,`
		367	`[`
		368	`[namer, exp],`
		369	`[val, exp]]]],`
		370	`[`
		371	`[construct_name, make_weak_symbol],`
		372	`[encoding, 4],`
		373	`[result_sort, linkinfo],`
		374	`[parameter_sorts,`
		375	`[`
		376	`[id, tdfstring],`
		377	`[val, exp]]]]]]],`
		378	`[`
		379	`[sortid, access],`
		380	`[encoding_bits, 4],`
		381	`[has_extension, 1],`
		382	`[constructs,`
		383	`[`
		384	`[`
		385	`[construct_name, access_apply_token],`
		386	`[encoding, 1],`
		387	`[result_sort, access],`
		388	`[parameter_sorts,`
		389	`[`
		390	`[token_value, token],`
		391	`[token_args, bitstream]]]],`
		392	`[`
		393	`[construct_name, access_cond],`
		394	`[encoding, 2],`
		395	`[result_sort, access],`
		396	`[parameter_sorts,`
		397	`[`
		398	`[control, exp],`
		399	`[e1, bitstream],`
		400	`[e2, bitstream]]]],`
		401	`[`
		402	`[construct_name, add_accesses],`
		403	`[encoding, 3],`
		404	`[result_sort, access],`
		405	`[parameter_sorts,`
		406	`[`
		407	`[a1, access],`
		408	`[a, access]]]],`
		409	`[`
		410	`[construct_name, constant],`
		411	`[encoding, 4],`
		412	`[result_sort, access],`
		413	`[parameter_sorts,`
		414	`[]]],`
		415	`[`
		416	`[construct_name, long_jump_access],`
		417	`[encoding, 5],`
		418	`[result_sort, access],`
		419	`[parameter_sorts,`
		420	`[]]],`
		421	`[`
		422	`[construct_name, no_other_read],`
		423	`[encoding, 6],`
		424	`[result_sort, access],`
		425	`[parameter_sorts,`
		426	`[]]],`
		427	`[`
		428	`[construct_name, no_other_write],`
		429	`[encoding, 7],`
		430	`[result_sort, access],`
		431	`[parameter_sorts,`
		432	`[]]],`
		433	`[`
		434	`[construct_name, out_par],`
		435	`[encoding, 8],`
		436	`[result_sort, access],`
		437	`[parameter_sorts,`
		438	`[]]],`
		439	`[`
		440	`[construct_name, preserve],`
		441	`[encoding, 9],`
		442	`[result_sort, access],`
		443	`[parameter_sorts,`
		444	`[]]],`
		445	`[`
		446	`[construct_name, register],`
		447	`[encoding, 10],`
		448	`[result_sort, access],`
		449	`[parameter_sorts,`
		450	`[]]],`
		451	`[`
		452	`[construct_name, standard_access],`
		453	`[encoding, 11],`
		454	`[result_sort, access],`
		455	`[parameter_sorts,`
		456	`[]]],`
		457	`[`
		458	`[construct_name, used_as_volatile],`
		459	`[encoding, 12],`
		460	`[result_sort, access],`
		461	`[parameter_sorts,`
		462	`[]]],`
		463	`[`
		464	`[construct_name, visible],`
		465	`[encoding, 13],`
		466	`[result_sort, access],`
		467	`[parameter_sorts,`
		468	`[]]]]]],`
		469	`[`
		470	`[sortid, al_tag],`
		471	`[encoding_bits, 1],`
		472	`[has_extension, 1],`
		473	`[constructs,`
		474	`[`
		475	`[`
		476	`[construct_name, al_tag_apply_token],`
		477	`[encoding, 2],`
		478	`[result_sort, al_tag],`
		479	`[parameter_sorts,`
		480	`[`
		481	`[token_value, token],`
		482	`[token_args, bitstream]]]],`
		483	`[`
		484	`[construct_name, make_al_tag],`
		485	`[encoding, 1],`
		486	`[result_sort, al_tag],`
		487	`[parameter_sorts,`
		488	`[`
		489	`[al_tagno, tdfint]]]]]]],`
		490	`[`
		491	`[sortid, al_tagdef],`
		492	`[encoding_bits, 1],`
		493	`[has_extension, 1],`
		494	`[constructs,`
		495	`[`
		496	`[`
		497	`[construct_name, make_al_tagdef],`
		498	`[encoding, 1],`
		499	`[result_sort, al_tagdef],`
		500	`[parameter_sorts,`
		501	`[`
		502	`[t, tdfint],`
		503	`[a, alignment]]]]]]],`
		504	`[`
		505	`[sortid, al_tagdef_props],`
		506	`[encoding_bits, 0],`
		507	`[has_extension, 0],`
		508	`[constructs,`
		509	`[`
		510	`[`
		511	`[construct_name, make_al_tagdefs],`
		512	`[encoding, 0],`
		513	`[result_sort, al_tagdef_props],`
		514	`[parameter_sorts,`
		515	`[`
		516	`[no_labels, tdfint],`
		517	`[tds, al_tagdef_list]]]]]]],`
		518	`[`
		519	`[sortid, alignment],`
		520	`[encoding_bits, 4],`
		521	`[has_extension, 1],`
		522	`[constructs,`
		523	`[`
		524	`[`
		525	`[construct_name, alignment_apply_token],`
		526	`[encoding, 1],`
		527	`[result_sort, alignment],`
		528	`[parameter_sorts,`
		529	`[`
		530	`[token_value, token],`
		531	`[token_args, bitstream]]]],`
		532	`[`
		533	`[construct_name, alignment_cond],`
		534	`[encoding, 2],`
		535	`[result_sort, alignment],`
		536	`[parameter_sorts,`
		537	`[`
		538	`[control, exp],`
		539	`[e1, bitstream],`
		540	`[e2, bitstream]]]],`
		541	`[`
		542	`[construct_name, alignment],`
		543	`[encoding, 3],`
		544	`[result_sort, alignment],`
		545	`[parameter_sorts,`
		546	`[`
		547	`[sha, shape]]]],`
		548	`[`
		549	`[construct_name, alloca_alignment],`
		550	`[encoding, 4],`
		551	`[result_sort, alignment],`
		552	`[parameter_sorts,`
		553	`[]]],`
		554	`[`
		555	`[construct_name, callees_alignment],`
		556	`[encoding, 5],`
		557	`[result_sort, alignment],`
		558	`[parameter_sorts,`
		559	`[`
		560	`[var, bool]]]],`
		561	`[`
		562	`[construct_name, callers_alignment],`
		563	`[encoding, 6],`
		564	`[result_sort, alignment],`
		565	`[parameter_sorts,`
		566	`[`
		567	`[var, bool]]]],`
		568	`[`
		569	`[construct_name, code_alignment],`
		570	`[encoding, 7],`
		571	`[result_sort, alignment],`
		572	`[parameter_sorts,`
		573	`[]]],`
		574	`[`
		575	`[construct_name, locals_alignment],`
		576	`[encoding, 8],`
		577	`[result_sort, alignment],`
		578	`[parameter_sorts,`
		579	`[]]],`
		580	`[`
		581	`[construct_name, obtain_al_tag],`
		582	`[encoding, 9],`
		583	`[result_sort, alignment],`
		584	`[parameter_sorts,`
		585	`[`
		586	`[at, al_tag]]]],`
		587	`[`
		588	`[construct_name, parameter_alignment],`
		589	`[encoding, 10],`
		590	`[result_sort, alignment],`
		591	`[parameter_sorts,`
		592	`[`
		593	`[sha, shape]]]],`
		594	`[`
		595	`[construct_name, unite_alignments],`
		596	`[encoding, 11],`
		597	`[result_sort, alignment],`
		598	`[parameter_sorts,`
		599	`[`
		600	`[a1, alignment],`
		601	`[a2, alignment]]]],`
		602	`[`
		603	`[construct_name, var_param_alignment],`
		604	`[encoding, 12],`
		605	`[result_sort, alignment],`
		606	`[parameter_sorts,`
		607	`[]]]]]],`
		608	`[`
		609	`[sortid, bitfield_variety],`
		610	`[encoding_bits, 2],`
		611	`[has_extension, 1],`
		612	`[constructs,`
		613	`[`
		614	`[`
		615	`[construct_name, bfvar_apply_token],`
		616	`[encoding, 1],`
		617	`[result_sort, bitfield_variety],`
		618	`[parameter_sorts,`
		619	`[`
		620	`[token_value, token],`
		621	`[token_args, bitstream]]]],`
		622	`[`
		623	`[construct_name, bfvar_cond],`
		624	`[encoding, 2],`
		625	`[result_sort, bitfield_variety],`
		626	`[parameter_sorts,`
		627	`[`
		628	`[control, exp],`
		629	`[e1, bitstream],`
		630	`[e2, bitstream]]]],`
		631	`[`
		632	`[construct_name, bfvar_bits],`
		633	`[encoding, 3],`
		634	`[result_sort, bitfield_variety],`
		635	`[parameter_sorts,`
		636	`[`
		637	`[issigned, bool],`
		638	`[bits, nat]]]]]]],`
		639	`[`
		640	`[sortid, bool],`
		641	`[encoding_bits, 3],`
		642	`[has_extension, 1],`
		643	`[constructs,`
		644	`[`
		645	`[`
		646	`[construct_name, bool_apply_token],`
		647	`[encoding, 1],`
		648	`[result_sort, bool],`
		649	`[parameter_sorts,`
		650	`[`
		651	`[token_value, token],`
		652	`[token_args, bitstream]]]],`
		653	`[`
		654	`[construct_name, bool_cond],`
		655	`[encoding, 2],`
		656	`[result_sort, bool],`
		657	`[parameter_sorts,`
		658	`[`
		659	`[control, exp],`
		660	`[e1, bitstream],`
		661	`[e2, bitstream]]]],`
		662	`[`
		663	`[construct_name, false],`
		664	`[encoding, 3],`
		665	`[result_sort, bool],`
		666	`[parameter_sorts,`
		667	`[]]],`
		668	`[`
		669	`[construct_name, true],`
		670	`[encoding, 4],`
		671	`[result_sort, bool],`
		672	`[parameter_sorts,`
		673	`[]]]]]],`
		674	`[`
		675	`[sortid, callees],`
		676	`[encoding_bits, 2],`
		677	`[has_extension, 1],`
		678	`[constructs,`
		679	`[`
		680	`[`
		681	`[construct_name, make_callee_list],`
		682	`[encoding, 1],`
		683	`[result_sort, callees],`
		684	`[parameter_sorts,`
		685	`[`
		686	`[args, exp_list]]]],`
		687	`[`
		688	`[construct_name, make_dynamic_callees],`
		689	`[encoding, 2],`
		690	`[result_sort, callees],`
		691	`[parameter_sorts,`
		692	`[`
		693	`[ptr, exp],`
		694	`[sze, exp]]]],`
		695	`[`
		696	`[construct_name, same_callees],`
		697	`[encoding, 3],`
		698	`[result_sort, callees],`
		699	`[parameter_sorts,`
		700	`[]]]]]],`
		701	`[`
		702	`[sortid, capsule],`
		703	`[encoding_bits, 0],`
		704	`[has_extension, 0],`
		705	`[constructs,`
		706	`[`
		707	`[`
		708	`[construct_name, make_capsule],`
		709	`[encoding, 0],`
		710	`[result_sort, capsule],`
		711	`[parameter_sorts,`
		712	`[`
		713	`[prop_names, tdfident_list],`
		714	`[capsule_linking, capsule_link_list],`
		715	`[external_linkage, extern_link_list],`
		716	`[groups, group_list]]],`
		717	`[break, 2]]]]],`
		718	`[`
		719	`[sortid, capsule_link],`
		720	`[encoding_bits, 0],`
		721	`[has_extension, 0],`
		722	`[constructs,`
		723	`[`
		724	`[`
		725	`[construct_name, make_capsule_link],`
		726	`[encoding, 0],`
		727	`[result_sort, capsule_link],`
		728	`[parameter_sorts,`
		729	`[`
		730	`[sn, tdfident],`
		731	`[n, tdfint]]]]]]],`
		732	`[`
		733	`[sortid, caselim],`
		734	`[encoding_bits, 0],`
		735	`[has_extension, 0],`
		736	`[constructs,`
		737	`[`
		738	`[`
		739	`[construct_name, make_caselim],`
		740	`[encoding, 0],`
		741	`[result_sort, caselim],`
		742	`[parameter_sorts,`
		743	`[`
		744	`[branch, label],`
		745	`[lower, signed_nat],`
		746	`[upper, signed_nat]]]]]]],`
		747	`[`
		748	`[sortid, error_code],`
		749	`[encoding_bits, 2],`
		750	`[has_extension, 1],`
		751	`[constructs,`
		752	`[`
		753	`[`
		754	`[construct_name, nil_access],`
		755	`[encoding, 1],`
		756	`[result_sort, error_code],`
		757	`[parameter_sorts,`
		758	`[]]],`
		759	`[`
		760	`[construct_name, overflow],`
		761	`[encoding, 2],`
		762	`[result_sort, error_code],`
		763	`[parameter_sorts,`
		764	`[]]],`
		765	`[`
		766	`[construct_name, stack_overflow],`
		767	`[encoding, 3],`
		768	`[result_sort, error_code],`
		769	`[parameter_sorts,`
		770	`[]]]]]],`
		771	`[`
		772	`[sortid, error_treatment],`
		773	`[encoding_bits, 3],`
		774	`[has_extension, 1],`
		775	`[constructs,`
		776	`[`
		777	`[`
		778	`[construct_name, errt_apply_token],`
		779	`[encoding, 1],`
		780	`[result_sort, error_treatment],`
		781	`[parameter_sorts,`
		782	`[`
		783	`[token_value, token],`
		784	`[token_args, bitstream]]]],`
		785	`[`
		786	`[construct_name, errt_cond],`
		787	`[encoding, 2],`
		788	`[result_sort, error_treatment],`
		789	`[parameter_sorts,`
		790	`[`
		791	`[control, exp],`
		792	`[e1, bitstream],`
		793	`[e2, bitstream]]]],`
		794	`[`
		795	`[construct_name, continue],`
		796	`[encoding, 3],`
		797	`[result_sort, error_treatment],`
		798	`[parameter_sorts,`
		799	`[]]],`
		800	`[`
		801	`[construct_name, error_jump],`
		802	`[encoding, 4],`
		803	`[result_sort, error_treatment],`
		804	`[parameter_sorts,`
		805	`[`
		806	`[lab, label]]]],`
		807	`[`
		808	`[construct_name, trap],`
		809	`[encoding, 5],`
		810	`[result_sort, error_treatment],`
		811	`[parameter_sorts,`
		812	`[`
		813	`[trap_list, error_code_list]]]],`
		814	`[`
		815	`[construct_name, wrap],`
		816	`[encoding, 6],`
		817	`[result_sort, error_treatment],`
		818	`[parameter_sorts,`
		819	`[]]],`
		820	`[`
		821	`[construct_name, impossible],`
		822	`[encoding, 7],`
		823	`[result_sort, error_treatment],`
		824	`[parameter_sorts,`
		825	`[]]]]]],`
		826	`[`
		827	`[sortid, exp],`
		828	`[encoding_bits, 7],`
		829	`[has_extension, 1],`
		830	`[constructs,`
		831	`[`
		832	`[`
		833	`[construct_name, exp_apply_token],`
		834	`[encoding, 1],`
		835	`[result_sort, exp],`
		836	`[parameter_sorts,`
		837	`[`
		838	`[token_value, token],`
		839	`[token_args, bitstream]]]],`
		840	`[`
		841	`[construct_name, exp_cond],`
		842	`[encoding, 2],`
		843	`[result_sort, exp],`
		844	`[parameter_sorts,`
		845	`[`
		846	`[control, exp],`
		847	`[e1, bitstream],`
		848	`[e2, bitstream]]]],`
		849	`[`
		850	`[construct_name, abs],`
		851	`[encoding, 3],`
		852	`[result_sort, exp],`
		853	`[parameter_sorts,`
		854	`[`
		855	`[ov_err, error_treatment],`
		856	`[arg1, exp]]]],`
		857	`[`
		858	`[construct_name, add_to_ptr],`
		859	`[encoding, 4],`
		860	`[result_sort, exp],`
		861	`[parameter_sorts,`
		862	`[`
		863	`[arg1, exp],`
		864	`[arg2, exp]]]],`
		865	`[`
		866	`[construct_name, and],`
		867	`[encoding, 5],`
		868	`[result_sort, exp],`
		869	`[parameter_sorts,`
		870	`[`
		871	`[arg1, exp],`
		872	`[arg2, exp]]]],`
		873	`[`
		874	`[construct_name, apply_proc],`
		875	`[encoding, 6],`
		876	`[result_sort, exp],`
		877	`[parameter_sorts,`
		878	`[`
		879	`[result_shape, shape],`
		880	`[p, exp],`
		881	`[params, exp_list],`
		882	`[var_param, exp_option]]]],`
		883	`[`
		884	`[construct_name, apply_general_proc],`
		885	`[encoding, 7],`
		886	`[result_sort, exp],`
		887	`[parameter_sorts,`
		888	`[`
		889	`[result_shape, shape],`
		890	`[prcprops, procprops_option],`
		891	`[p, exp],`
		892	`[caller_params_intro, otagexp_list],`
		893	`[callee_params, callees],`
		894	`[postlude, exp]]],`
		895	`[break, 5]],`
		896	`[`
		897	`[construct_name, assign],`
		898	`[encoding, 8],`
		899	`[result_sort, exp],`
		900	`[parameter_sorts,`
		901	`[`
		902	`[arg1, exp],`
		903	`[arg2, exp]]]],`
		904	`[`
		905	`[construct_name, assign_with_mode],`
		906	`[encoding, 9],`
		907	`[result_sort, exp],`
		908	`[parameter_sorts,`
		909	`[`
		910	`[md, transfer_mode],`
		911	`[arg1, exp],`
		912	`[arg2, exp]]]],`
		913	`[`
		914	`[construct_name, bitfield_assign],`
		915	`[encoding, 10],`
		916	`[result_sort, exp],`
		917	`[parameter_sorts,`
		918	`[`
		919	`[arg1, exp],`
		920	`[arg2, exp],`
		921	`[arg3, exp]]]],`
		922	`[`
		923	`[construct_name, bitfield_assign_with_mode],`
		924	`[encoding, 11],`
		925	`[result_sort, exp],`
		926	`[parameter_sorts,`
		927	`[`
		928	`[md, transfer_mode],`
		929	`[arg1, exp],`
		930	`[arg2, exp],`
		931	`[arg3, exp]]]],`
		932	`[`
		933	`[construct_name, bitfield_contents],`
		934	`[encoding, 12],`
		935	`[result_sort, exp],`
		936	`[parameter_sorts,`
		937	`[`
		938	`[v, bitfield_variety],`
		939	`[arg1, exp],`
		940	`[arg2, exp]]]],`
		941	`[`
		942	`[construct_name, bitfield_contents_with_mode],`
		943	`[encoding, 13],`
		944	`[result_sort, exp],`
		945	`[parameter_sorts,`
		946	`[`
		947	`[md, transfer_mode],`
		948	`[v, bitfield_variety],`
		949	`[arg1, exp],`
		950	`[arg2, exp]]]],`
		951	`[`
		952	`[construct_name, case],`
		953	`[encoding, 14],`
		954	`[result_sort, exp],`
		955	`[parameter_sorts,`
		956	`[`
		957	`[exhaustive, bool],`
		958	`[control, exp],`
		959	`[branches, caselim_list]]]],`
		960	`[`
		961	`[construct_name, change_bitfield_to_int],`
		962	`[encoding, 15],`
		963	`[result_sort, exp],`
		964	`[parameter_sorts,`
		965	`[`
		966	`[v, variety],`
		967	`[arg1, exp]]]],`
		968	`[`
		969	`[construct_name, change_floating_variety],`
		970	`[encoding, 16],`
		971	`[result_sort, exp],`
		972	`[parameter_sorts,`
		973	`[`
		974	`[flpt_err, error_treatment],`
		975	`[r, floating_variety],`
		976	`[arg1, exp]]]],`
		977	`[`
		978	`[construct_name, change_variety],`
		979	`[encoding, 17],`
		980	`[result_sort, exp],`
		981	`[parameter_sorts,`
		982	`[`
		983	`[ov_err, error_treatment],`
		984	`[r, variety],`
		985	`[arg1, exp]]]],`
		986	`[`
		987	`[construct_name, change_int_to_bitfield],`
		988	`[encoding, 18],`
		989	`[result_sort, exp],`
		990	`[parameter_sorts,`
		991	`[`
		992	`[bv, bitfield_variety],`
		993	`[arg1, exp]]]],`
		994	`[`
		995	`[construct_name, complex_conjugate],`
		996	`[encoding, 19],`
		997	`[result_sort, exp],`
		998	`[parameter_sorts,`
		999	`[`
		1000	`[c, exp]]]],`
		1001	`[`
		1002	`[construct_name, component],`
		1003	`[encoding, 20],`
		1004	`[result_sort, exp],`
		1005	`[parameter_sorts,`
		1006	`[`
		1007	`[sha, shape],`
		1008	`[arg1, exp],`
		1009	`[arg2, exp]]]],`
		1010	`[`
		1011	`[construct_name, concat_nof],`
		1012	`[encoding, 21],`
		1013	`[result_sort, exp],`
		1014	`[parameter_sorts,`
		1015	`[`
		1016	`[arg1, exp],`
		1017	`[arg2, exp]]]],`
		1018	`[`
		1019	`[construct_name, conditional],`
		1020	`[encoding, 22],`
		1021	`[result_sort, exp],`
		1022	`[parameter_sorts,`
		1023	`[`
		1024	`[alt_label_intro, label],`
		1025	`[first, exp],`
		1026	`[alt, exp]]],`
		1027	`[break, 1]],`
		1028	`[`
		1029	`[construct_name, contents],`
		1030	`[encoding, 23],`
		1031	`[result_sort, exp],`
		1032	`[parameter_sorts,`
		1033	`[`
		1034	`[s, shape],`
		1035	`[arg1, exp]]]],`
		1036	`[`
		1037	`[construct_name, contents_with_mode],`
		1038	`[encoding, 24],`
		1039	`[result_sort, exp],`
		1040	`[parameter_sorts,`
		1041	`[`
		1042	`[md, transfer_mode],`
		1043	`[s, shape],`
		1044	`[arg1, exp]]]],`
		1045	`[`
		1046	`[construct_name, current_env],`
		1047	`[encoding, 25],`
		1048	`[result_sort, exp],`
		1049	`[parameter_sorts,`
		1050	`[]]],`
		1051	`[`
		1052	`[construct_name, div0],`
		1053	`[encoding, 26],`
		1054	`[result_sort, exp],`
		1055	`[parameter_sorts,`
		1056	`[`
		1057	`[div_by_zero_err, error_treatment],`
		1058	`[ov_err, error_treatment],`
		1059	`[arg1, exp],`
		1060	`[arg2, exp]]]],`
		1061	`[`
		1062	`[construct_name, div1],`
		1063	`[encoding, 27],`
		1064	`[result_sort, exp],`
		1065	`[parameter_sorts,`
		1066	`[`
		1067	`[div_by_zero_err, error_treatment],`
		1068	`[ov_err, error_treatment],`
		1069	`[arg1, exp],`
		1070	`[arg2, exp]]]],`
		1071	`[`
		1072	`[construct_name, div2],`
		1073	`[encoding, 28],`
		1074	`[result_sort, exp],`
		1075	`[parameter_sorts,`
		1076	`[`
		1077	`[div_by_zero_err, error_treatment],`
		1078	`[ov_err, error_treatment],`
		1079	`[arg1, exp],`
		1080	`[arg2, exp]]]],`
		1081	`[`
		1082	`[construct_name, env_offset],`
		1083	`[encoding, 29],`
		1084	`[result_sort, exp],`
		1085	`[parameter_sorts,`
		1086	`[`
		1087	`[fa, alignment],`
		1088	`[y, alignment],`
		1089	`[t, tag]]]],`
		1090	`[`
		1091	`[construct_name, env_size],`
		1092	`[encoding, 30],`
		1093	`[result_sort, exp],`
		1094	`[parameter_sorts,`
		1095	`[`
		1096	`[proctag, tag]]]],`
		1097	`[`
		1098	`[construct_name, fail_installer],`
		1099	`[encoding, 31],`
		1100	`[result_sort, exp],`
		1101	`[parameter_sorts,`
		1102	`[`
		1103	`[message, string]]]],`
		1104	`[`
		1105	`[construct_name, float_int],`
		1106	`[encoding, 32],`
		1107	`[result_sort, exp],`
		1108	`[parameter_sorts,`
		1109	`[`
		1110	`[flpt_err, error_treatment],`
		1111	`[f, floating_variety],`
		1112	`[arg1, exp]]]],`
		1113	`[`
		1114	`[construct_name, floating_abs],`
		1115	`[encoding, 33],`
		1116	`[result_sort, exp],`
		1117	`[parameter_sorts,`
		1118	`[`
		1119	`[flpt_err, error_treatment],`
		1120	`[arg1, exp]]]],`
		1121	`[`
		1122	`[construct_name, floating_div],`
		1123	`[encoding, 34],`
		1124	`[result_sort, exp],`
		1125	`[parameter_sorts,`
		1126	`[`
		1127	`[flpt_err, error_treatment],`
		1128	`[arg1, exp],`
		1129	`[arg2, exp]]]],`
		1130	`[`
		1131	`[construct_name, floating_minus],`
		1132	`[encoding, 35],`
		1133	`[result_sort, exp],`
		1134	`[parameter_sorts,`
		1135	`[`
		1136	`[flpt_err, error_treatment],`
		1137	`[arg1, exp],`
		1138	`[arg2, exp]]]],`
		1139	`[`
		1140	`[construct_name, floating_maximum],`
		1141	`[encoding, 36],`
		1142	`[result_sort, exp],`
		1143	`[parameter_sorts,`
		1144	`[`
		1145	`[flpt_err, error_treatment],`
		1146	`[arg1, exp],`
		1147	`[arg2, exp]]]],`
		1148	`[`
		1149	`[construct_name, floating_minimum],`
		1150	`[encoding, 37],`
		1151	`[result_sort, exp],`
		1152	`[parameter_sorts,`
		1153	`[`
		1154	`[flpt_err, error_treatment],`
		1155	`[arg1, exp],`
		1156	`[arg2, exp]]]],`
		1157	`[`
		1158	`[construct_name, floating_mult],`
		1159	`[encoding, 38],`
		1160	`[result_sort, exp],`
		1161	`[parameter_sorts,`
		1162	`[`
		1163	`[flpt_err, error_treatment],`
		1164	`[arg1, exp_list]]]],`
		1165	`[`
		1166	`[construct_name, floating_negate],`
		1167	`[encoding, 39],`
		1168	`[result_sort, exp],`
		1169	`[parameter_sorts,`
		1170	`[`
		1171	`[flpt_err, error_treatment],`
		1172	`[arg1, exp]]]],`
		1173	`[`
		1174	`[construct_name, floating_plus],`
		1175	`[encoding, 40],`
		1176	`[result_sort, exp],`
		1177	`[parameter_sorts,`
		1178	`[`
		1179	`[flpt_err, error_treatment],`
		1180	`[arg1, exp_list]]]],`
		1181	`[`
		1182	`[construct_name, floating_power],`
		1183	`[encoding, 41],`
		1184	`[result_sort, exp],`
		1185	`[parameter_sorts,`
		1186	`[`
		1187	`[flpt_err, error_treatment],`
		1188	`[arg1, exp],`
		1189	`[arg2, exp]]]],`
		1190	`[`
		1191	`[construct_name, floating_test],`
		1192	`[encoding, 42],`
		1193	`[result_sort, exp],`
		1194	`[parameter_sorts,`
		1195	`[`
		1196	`[prob, nat_option],`
		1197	`[flpt_err, error_treatment],`
		1198	`[nt, ntest],`
		1199	`[dest, label],`
		1200	`[arg1, exp],`
		1201	`[arg2, exp]]]],`
		1202	`[`
		1203	`[construct_name, goto],`
		1204	`[encoding, 43],`
		1205	`[result_sort, exp],`
		1206	`[parameter_sorts,`
		1207	`[`
		1208	`[dest, label]]]],`
		1209	`[`
		1210	`[construct_name, goto_local_lv],`
		1211	`[encoding, 44],`
		1212	`[result_sort, exp],`
		1213	`[parameter_sorts,`
		1214	`[`
		1215	`[arg1, exp]]]],`
		1216	`[`
		1217	`[construct_name, identify],`
		1218	`[encoding, 45],`
		1219	`[result_sort, exp],`
		1220	`[parameter_sorts,`
		1221	`[`
		1222	`[opt_access, access_option],`
		1223	`[name_intro, tag],`
		1224	`[definition, exp],`
		1225	`[body, exp]]],`
		1226	`[break, 3]],`
		1227	`[`
		1228	`[construct_name, ignorable],`
		1229	`[encoding, 46],`
		1230	`[result_sort, exp],`
		1231	`[parameter_sorts,`
		1232	`[`
		1233	`[arg1, exp]]]],`
		1234	`[`
		1235	`[construct_name, imaginary_part],`
		1236	`[encoding, 47],`
		1237	`[result_sort, exp],`
		1238	`[parameter_sorts,`
		1239	`[`
		1240	`[arg1, exp]]]],`
		1241	`[`
		1242	`[construct_name, initial_value],`
		1243	`[encoding, 48],`
		1244	`[result_sort, exp],`
		1245	`[parameter_sorts,`
		1246	`[`
		1247	`[init, exp]]],`
		1248	`[break, 0]],`
		1249	`[`
		1250	`[construct_name, integer_test],`
		1251	`[encoding, 49],`
		1252	`[result_sort, exp],`
		1253	`[parameter_sorts,`
		1254	`[`
		1255	`[prob, nat_option],`
		1256	`[nt, ntest],`
		1257	`[dest, label],`
		1258	`[arg1, exp],`
		1259	`[arg2, exp]]]],`
		1260	`[`
		1261	`[construct_name, labelled],`
		1262	`[encoding, 50],`
		1263	`[result_sort, exp],`
		1264	`[parameter_sorts,`
		1265	`[`
		1266	`[placelabs_intro, label_list],`
		1267	`[starter, exp],`
		1268	`[places, exp_list]]],`
		1269	`[break, 1]],`
		1270	`[`
		1271	`[construct_name, last_local],`
		1272	`[encoding, 51],`
		1273	`[result_sort, exp],`
		1274	`[parameter_sorts,`
		1275	`[`
		1276	`[x, exp]]]],`
		1277	`[`
		1278	`[construct_name, local_alloc],`
		1279	`[encoding, 52],`
		1280	`[result_sort, exp],`
		1281	`[parameter_sorts,`
		1282	`[`
		1283	`[arg1, exp]]]],`
		1284	`[`
		1285	`[construct_name, local_alloc_check],`
		1286	`[encoding, 53],`
		1287	`[result_sort, exp],`
		1288	`[parameter_sorts,`
		1289	`[`
		1290	`[arg1, exp]]]],`
		1291	`[`
		1292	`[construct_name, local_free],`
		1293	`[encoding, 54],`
		1294	`[result_sort, exp],`
		1295	`[parameter_sorts,`
		1296	`[`
		1297	`[a, exp],`
		1298	`[p, exp]]]],`
		1299	`[`
		1300	`[construct_name, local_free_all],`
		1301	`[encoding, 55],`
		1302	`[result_sort, exp],`
		1303	`[parameter_sorts,`
		1304	`[]]],`
		1305	`[`
		1306	`[construct_name, long_jump],`
		1307	`[encoding, 56],`
		1308	`[result_sort, exp],`
		1309	`[parameter_sorts,`
		1310	`[`
		1311	`[arg1, exp],`
		1312	`[arg2, exp]]]],`
		1313	`[`
		1314	`[construct_name, make_complex],`
		1315	`[encoding, 57],`
		1316	`[result_sort, exp],`
		1317	`[parameter_sorts,`
		1318	`[`
		1319	`[c, floating_variety],`
		1320	`[arg1, exp],`
		1321	`[arg2, exp]]]],`
		1322	`[`
		1323	`[construct_name, make_compound],`
		1324	`[encoding, 58],`
		1325	`[result_sort, exp],`
		1326	`[parameter_sorts,`
		1327	`[`
		1328	`[arg1, exp],`
		1329	`[arg2, exp_list]]]],`
		1330	`[`
		1331	`[construct_name, make_floating],`
		1332	`[encoding, 59],`
		1333	`[result_sort, exp],`
		1334	`[parameter_sorts,`
		1335	`[`
		1336	`[f, floating_variety],`
		1337	`[rm, rounding_mode],`
		1338	`[negative, bool],`
		1339	`[mantissa, string],`
		1340	`[base, nat],`
		1341	`[exponent, signed_nat]]]],`
		1342	`[`
		1343	`[construct_name, make_general_proc],`
		1344	`[encoding, 60],`
		1345	`[result_sort, exp],`
		1346	`[parameter_sorts,`
		1347	`[`
		1348	`[result_shape, shape],`
		1349	`[prcprops, procprops_option],`
		1350	`[caller_intro, tagshacc_list],`
		1351	`[callee_intro, tagshacc_list],`
		1352	`[body, exp]]],`
		1353	`[break, 4]],`
		1354	`[`
		1355	`[construct_name, make_int],`
		1356	`[encoding, 61],`
		1357	`[result_sort, exp],`
		1358	`[parameter_sorts,`
		1359	`[`
		1360	`[v, variety],`
		1361	`[value, signed_nat]]]],`
		1362	`[`
		1363	`[construct_name, make_local_lv],`
		1364	`[encoding, 62],`
		1365	`[result_sort, exp],`
		1366	`[parameter_sorts,`
		1367	`[`
		1368	`[lab, label]]]],`
		1369	`[`
		1370	`[construct_name, make_nof],`
		1371	`[encoding, 63],`
		1372	`[result_sort, exp],`
		1373	`[parameter_sorts,`
		1374	`[`
		1375	`[arg1, exp_list]]]],`
		1376	`[`
		1377	`[construct_name, make_nof_int],`
		1378	`[encoding, 64],`
		1379	`[result_sort, exp],`
		1380	`[parameter_sorts,`
		1381	`[`
		1382	`[v, variety],`
		1383	`[str, string]]]],`
		1384	`[`
		1385	`[construct_name, make_null_local_lv],`
		1386	`[encoding, 65],`
		1387	`[result_sort, exp],`
		1388	`[parameter_sorts,`
		1389	`[]]],`
		1390	`[`
		1391	`[construct_name, make_null_proc],`
		1392	`[encoding, 66],`
		1393	`[result_sort, exp],`
		1394	`[parameter_sorts,`
		1395	`[]]],`
		1396	`[`
		1397	`[construct_name, make_null_ptr],`
		1398	`[encoding, 67],`
		1399	`[result_sort, exp],`
		1400	`[parameter_sorts,`
		1401	`[`
		1402	`[a, alignment]]]],`
		1403	`[`
		1404	`[construct_name, make_proc],`
		1405	`[encoding, 68],`
		1406	`[result_sort, exp],`
		1407	`[parameter_sorts,`
		1408	`[`
		1409	`[result_shape, shape],`
		1410	`[params_intro, tagshacc_list],`
		1411	`[var_intro, tagacc_option],`
		1412	`[body, exp]]],`
		1413	`[break, 3]],`
		1414	`[`
		1415	`[construct_name, make_stack_limit],`
		1416	`[encoding, 116],`
		1417	`[result_sort, exp],`
		1418	`[parameter_sorts,`
		1419	`[`
		1420	`[stack_base, exp],`
		1421	`[frame_size, exp],`
		1422	`[alloc_size, exp]]]],`
		1423	`[`
		1424	`[construct_name, make_top],`
		1425	`[encoding, 69],`
		1426	`[result_sort, exp],`
		1427	`[parameter_sorts,`
		1428	`[]]],`
		1429	`[`
		1430	`[construct_name, make_value],`
		1431	`[encoding, 70],`
		1432	`[result_sort, exp],`
		1433	`[parameter_sorts,`
		1434	`[`
		1435	`[s, shape]]]],`
		1436	`[`
		1437	`[construct_name, maximum],`
		1438	`[encoding, 71],`
		1439	`[result_sort, exp],`
		1440	`[parameter_sorts,`
		1441	`[`
		1442	`[arg1, exp],`
		1443	`[arg2, exp]]]],`
		1444	`[`
		1445	`[construct_name, minimum],`
		1446	`[encoding, 72],`
		1447	`[result_sort, exp],`
		1448	`[parameter_sorts,`
		1449	`[`
		1450	`[arg1, exp],`
		1451	`[arg2, exp]]]],`
		1452	`[`
		1453	`[construct_name, minus],`
		1454	`[encoding, 73],`
		1455	`[result_sort, exp],`
		1456	`[parameter_sorts,`
		1457	`[`
		1458	`[ov_err, error_treatment],`
		1459	`[arg1, exp],`
		1460	`[arg2, exp]]]],`
		1461	`[`
		1462	`[construct_name, move_some],`
		1463	`[encoding, 74],`
		1464	`[result_sort, exp],`
		1465	`[parameter_sorts,`
		1466	`[`
		1467	`[md, transfer_mode],`
		1468	`[arg1, exp],`
		1469	`[arg2, exp],`
		1470	`[arg3, exp]]]],`
		1471	`[`
		1472	`[construct_name, mult],`
		1473	`[encoding, 75],`
		1474	`[result_sort, exp],`
		1475	`[parameter_sorts,`
		1476	`[`
		1477	`[ov_err, error_treatment],`
		1478	`[arg1, exp],`
		1479	`[arg2, exp]]]],`
		1480	`[`
		1481	`[construct_name, n_copies],`
		1482	`[encoding, 76],`
		1483	`[result_sort, exp],`
		1484	`[parameter_sorts,`
		1485	`[`
		1486	`[n, nat],`
		1487	`[arg1, exp]]]],`
		1488	`[`
		1489	`[construct_name, negate],`
		1490	`[encoding, 77],`
		1491	`[result_sort, exp],`
		1492	`[parameter_sorts,`
		1493	`[`
		1494	`[ov_err, error_treatment],`
		1495	`[arg1, exp]]]],`
		1496	`[`
		1497	`[construct_name, not],`
		1498	`[encoding, 78],`
		1499	`[result_sort, exp],`
		1500	`[parameter_sorts,`
		1501	`[`
		1502	`[arg1, exp]]]],`
		1503	`[`
		1504	`[construct_name, obtain_tag],`
		1505	`[encoding, 79],`
		1506	`[result_sort, exp],`
		1507	`[parameter_sorts,`
		1508	`[`
		1509	`[t, tag]]]],`
		1510	`[`
		1511	`[construct_name, offset_add],`
		1512	`[encoding, 80],`
		1513	`[result_sort, exp],`
		1514	`[parameter_sorts,`
		1515	`[`
		1516	`[arg1, exp],`
		1517	`[arg2, exp]]]],`
		1518	`[`
		1519	`[construct_name, offset_div],`
		1520	`[encoding, 81],`
		1521	`[result_sort, exp],`
		1522	`[parameter_sorts,`
		1523	`[`
		1524	`[v, variety],`
		1525	`[arg1, exp],`
		1526	`[arg2, exp]]]],`
		1527	`[`
		1528	`[construct_name, offset_div_by_int],`
		1529	`[encoding, 82],`
		1530	`[result_sort, exp],`
		1531	`[parameter_sorts,`
		1532	`[`
		1533	`[arg1, exp],`
		1534	`[arg2, exp]]]],`
		1535	`[`
		1536	`[construct_name, offset_max],`
		1537	`[encoding, 83],`
		1538	`[result_sort, exp],`
		1539	`[parameter_sorts,`
		1540	`[`
		1541	`[arg1, exp],`
		1542	`[arg2, exp]]]],`
		1543	`[`
		1544	`[construct_name, offset_mult],`
		1545	`[encoding, 84],`
		1546	`[result_sort, exp],`
		1547	`[parameter_sorts,`
		1548	`[`
		1549	`[arg1, exp],`
		1550	`[arg2, exp]]]],`
		1551	`[`
		1552	`[construct_name, offset_negate],`
		1553	`[encoding, 85],`
		1554	`[result_sort, exp],`
		1555	`[parameter_sorts,`
		1556	`[`
		1557	`[arg1, exp]]]],`
		1558	`[`
		1559	`[construct_name, offset_pad],`
		1560	`[encoding, 86],`
		1561	`[result_sort, exp],`
		1562	`[parameter_sorts,`
		1563	`[`
		1564	`[a, alignment],`
		1565	`[arg1, exp]]]],`
		1566	`[`
		1567	`[construct_name, offset_subtract],`
		1568	`[encoding, 87],`
		1569	`[result_sort, exp],`
		1570	`[parameter_sorts,`
		1571	`[`
		1572	`[arg1, exp],`
		1573	`[arg2, exp]]]],`
		1574	`[`
		1575	`[construct_name, offset_test],`
		1576	`[encoding, 88],`
		1577	`[result_sort, exp],`
		1578	`[parameter_sorts,`
		1579	`[`
		1580	`[prob, nat_option],`
		1581	`[nt, ntest],`
		1582	`[dest, label],`
		1583	`[arg1, exp],`
		1584	`[arg2, exp]]]],`
		1585	`[`
		1586	`[construct_name, offset_zero],`
		1587	`[encoding, 89],`
		1588	`[result_sort, exp],`
		1589	`[parameter_sorts,`
		1590	`[`
		1591	`[a, alignment]]]],`
		1592	`[`
		1593	`[construct_name, or],`
		1594	`[encoding, 90],`
		1595	`[result_sort, exp],`
		1596	`[parameter_sorts,`
		1597	`[`
		1598	`[arg1, exp],`
		1599	`[arg2, exp]]]],`
		1600	`[`
		1601	`[construct_name, plus],`
		1602	`[encoding, 91],`
		1603	`[result_sort, exp],`
		1604	`[parameter_sorts,`
		1605	`[`
		1606	`[ov_err, error_treatment],`
		1607	`[arg1, exp],`
		1608	`[arg2, exp]]]],`
		1609	`[`
		1610	`[construct_name, pointer_test],`
		1611	`[encoding, 92],`
		1612	`[result_sort, exp],`
		1613	`[parameter_sorts,`
		1614	`[`
		1615	`[prob, nat_option],`
		1616	`[nt, ntest],`
		1617	`[dest, label],`
		1618	`[arg1, exp],`
		1619	`[arg2, exp]]]],`
		1620	`[`
		1621	`[construct_name, power],`
		1622	`[encoding, 93],`
		1623	`[result_sort, exp],`
		1624	`[parameter_sorts,`
		1625	`[`
		1626	`[ov_err, error_treatment],`
		1627	`[arg1, exp],`
		1628	`[arg2, exp]]]],`
		1629	`[`
		1630	`[construct_name, proc_test],`
		1631	`[encoding, 94],`
		1632	`[result_sort, exp],`
		1633	`[parameter_sorts,`
		1634	`[`
		1635	`[prob, nat_option],`
		1636	`[nt, ntest],`
		1637	`[dest, label],`
		1638	`[arg1, exp],`
		1639	`[arg2, exp]]]],`
		1640	`[`
		1641	`[construct_name, profile],`
		1642	`[encoding, 95],`
		1643	`[result_sort, exp],`
		1644	`[parameter_sorts,`
		1645	`[`
		1646	`[uses, nat]]]],`
		1647	`[`
		1648	`[construct_name, real_part],`
		1649	`[encoding, 96],`
		1650	`[result_sort, exp],`
		1651	`[parameter_sorts,`
		1652	`[`
		1653	`[arg1, exp]]]],`
		1654	`[`
		1655	`[construct_name, rem0],`
		1656	`[encoding, 97],`
		1657	`[result_sort, exp],`
		1658	`[parameter_sorts,`
		1659	`[`
		1660	`[div_by_zero_err, error_treatment],`
		1661	`[ov_err, error_treatment],`
		1662	`[arg1, exp],`
		1663	`[arg2, exp]]]],`
		1664	`[`
		1665	`[construct_name, rem1],`
		1666	`[encoding, 98],`
		1667	`[result_sort, exp],`
		1668	`[parameter_sorts,`
		1669	`[`
		1670	`[div_by_zero_err, error_treatment],`
		1671	`[ov_err, error_treatment],`
		1672	`[arg1, exp],`
		1673	`[arg2, exp]]]],`
		1674	`[`
		1675	`[construct_name, rem2],`
		1676	`[encoding, 99],`
		1677	`[result_sort, exp],`
		1678	`[parameter_sorts,`
		1679	`[`
		1680	`[div_by_zero_err, error_treatment],`
		1681	`[ov_err, error_treatment],`
		1682	`[arg1, exp],`
		1683	`[arg2, exp]]]],`
		1684	`[`
		1685	`[construct_name, repeat],`
		1686	`[encoding, 100],`
		1687	`[result_sort, exp],`
		1688	`[parameter_sorts,`
		1689	`[`
		1690	`[repeat_label_intro, label],`
		1691	`[start, exp],`
		1692	`[body, exp]]],`
		1693	`[break, 1]],`
		1694	`[`
		1695	`[construct_name, return],`
		1696	`[encoding, 101],`
		1697	`[result_sort, exp],`
		1698	`[parameter_sorts,`
		1699	`[`
		1700	`[arg1, exp]]]],`
		1701	`[`
		1702	`[construct_name, return_to_label],`
		1703	`[encoding, 102],`
		1704	`[result_sort, exp],`
		1705	`[parameter_sorts,`
		1706	`[`
		1707	`[lab_val, exp]]]],`
		1708	`[`
		1709	`[construct_name, round_with_mode],`
		1710	`[encoding, 103],`
		1711	`[result_sort, exp],`
		1712	`[parameter_sorts,`
		1713	`[`
		1714	`[flpt_err, error_treatment],`
		1715	`[mode, rounding_mode],`
		1716	`[r, variety],`
		1717	`[arg1, exp]]]],`
		1718	`[`
		1719	`[construct_name, rotate_left],`
		1720	`[encoding, 104],`
		1721	`[result_sort, exp],`
		1722	`[parameter_sorts,`
		1723	`[`
		1724	`[arg1, exp],`
		1725	`[arg2, exp]]]],`
		1726	`[`
		1727	`[construct_name, rotate_right],`
		1728	`[encoding, 105],`
		1729	`[result_sort, exp],`
		1730	`[parameter_sorts,`
		1731	`[`
		1732	`[arg1, exp],`
		1733	`[arg2, exp]]]],`
		1734	`[`
		1735	`[construct_name, sequence],`
		1736	`[encoding, 106],`
		1737	`[result_sort, exp],`
		1738	`[parameter_sorts,`
		1739	`[`
		1740	`[statements, exp_list],`
		1741	`[result, exp]]]],`
		1742	`[`
		1743	`[construct_name, set_stack_limit],`
		1744	`[encoding, 107],`
		1745	`[result_sort, exp],`
		1746	`[parameter_sorts,`
		1747	`[`
		1748	`[lim, exp]]]],`
		1749	`[`
		1750	`[construct_name, shape_offset],`
		1751	`[encoding, 108],`
		1752	`[result_sort, exp],`
		1753	`[parameter_sorts,`
		1754	`[`
		1755	`[s, shape]]]],`
		1756	`[`
		1757	`[construct_name, shift_left],`
		1758	`[encoding, 109],`
		1759	`[result_sort, exp],`
		1760	`[parameter_sorts,`
		1761	`[`
		1762	`[ov_err, error_treatment],`
		1763	`[arg1, exp],`
		1764	`[arg2, exp]]]],`
		1765	`[`
		1766	`[construct_name, shift_right],`
		1767	`[encoding, 110],`
		1768	`[result_sort, exp],`
		1769	`[parameter_sorts,`
		1770	`[`
		1771	`[arg1, exp],`
		1772	`[arg2, exp]]]],`
		1773	`[`
		1774	`[construct_name, subtract_ptrs],`
		1775	`[encoding, 111],`
		1776	`[result_sort, exp],`
		1777	`[parameter_sorts,`
		1778	`[`
		1779	`[arg1, exp],`
		1780	`[arg2, exp]]]],`
		1781	`[`
		1782	`[construct_name, tail_call],`
		1783	`[encoding, 112],`
		1784	`[result_sort, exp],`
		1785	`[parameter_sorts,`
		1786	`[`
		1787	`[prcprops, procprops_option],`
		1788	`[p, exp],`
		1789	`[callee_params, callees]]]],`
		1790	`[`
		1791	`[construct_name, untidy_return],`
		1792	`[encoding, 113],`
		1793	`[result_sort, exp],`
		1794	`[parameter_sorts,`
		1795	`[`
		1796	`[arg1, exp]]]],`
		1797	`[`
		1798	`[construct_name, variable],`
		1799	`[encoding, 114],`
		1800	`[result_sort, exp],`
		1801	`[parameter_sorts,`
		1802	`[`
		1803	`[opt_access, access_option],`
		1804	`[name_intro, tag],`
		1805	`[init, exp],`
		1806	`[body, exp]]],`
		1807	`[break, 3]],`
		1808	`[`
		1809	`[construct_name, xor],`
		1810	`[encoding, 115],`
		1811	`[result_sort, exp],`
		1812	`[parameter_sorts,`
		1813	`[`
		1814	`[arg1, exp],`
		1815	`[arg2, exp]]]]]]],`
		1816	`[`
		1817	`[sortid, external],`
		1818	`[encoding_bits, 2],`
		1819	`[has_extension, 1],`
		1820	`[constructs,`
		1821	`[`
		1822	`[`
		1823	`[construct_name, string_extern],`
		1824	`[encoding, 1],`
		1825	`[result_sort, external],`
		1826	`[parameter_sorts,`
		1827	`[`
		1828	`[s, tdfident]]],`
		1829	`[boundaries,`
		1830	`[0]]],`
		1831	`[`
		1832	`[construct_name, unique_extern],`
		1833	`[encoding, 2],`
		1834	`[result_sort, external],`
		1835	`[parameter_sorts,`
		1836	`[`
		1837	`[u, unique]]],`
		1838	`[boundaries,`
		1839	`[0]]],`
		1840	`[`
		1841	`[construct_name, chain_extern],`
		1842	`[encoding, 3],`
		1843	`[result_sort, external],`
		1844	`[parameter_sorts,`
		1845	`[`
		1846	`[s, tdfident],`
		1847	`[prev, tdfint]]],`
		1848	`[boundaries,`
		1849	`[0]]]]]],`
		1850	`[`
		1851	`[sortid, extern_link],`
		1852	`[encoding_bits, 0],`
		1853	`[has_extension, 0],`
		1854	`[constructs,`
		1855	`[`
		1856	`[`
		1857	`[construct_name, make_extern_link],`
		1858	`[encoding, 0],`
		1859	`[result_sort, extern_link],`
		1860	`[parameter_sorts,`
		1861	`[`
		1862	`[el, linkextern_list]]]]]]],`
		1863	`[`
		1864	`[sortid, floating_variety],`
		1865	`[encoding_bits, 3],`
		1866	`[has_extension, 1],`
		1867	`[constructs,`
		1868	`[`
		1869	`[`
		1870	`[construct_name, flvar_apply_token],`
		1871	`[encoding, 1],`
		1872	`[result_sort, floating_variety],`
		1873	`[parameter_sorts,`
		1874	`[`
		1875	`[token_value, token],`
		1876	`[token_args, bitstream]]]],`
		1877	`[`
		1878	`[construct_name, flvar_cond],`
		1879	`[encoding, 2],`
		1880	`[result_sort, floating_variety],`
		1881	`[parameter_sorts,`
		1882	`[`
		1883	`[control, exp],`
		1884	`[e1, bitstream],`
		1885	`[e2, bitstream]]]],`
		1886	`[`
		1887	`[construct_name, flvar_parms],`
		1888	`[encoding, 3],`
		1889	`[result_sort, floating_variety],`
		1890	`[parameter_sorts,`
		1891	`[`
		1892	`[base, nat],`
		1893	`[mantissa_digits, nat],`
		1894	`[minimum_exponent, nat],`
		1895	`[maximum_exponent, nat]]]],`
		1896	`[`
		1897	`[construct_name, complex_parms],`
		1898	`[encoding, 4],`
		1899	`[result_sort, floating_variety],`
		1900	`[parameter_sorts,`
		1901	`[`
		1902	`[base, nat],`
		1903	`[mantissa_digits, nat],`
		1904	`[minimum_exponent, nat],`
		1905	`[maximum_exponent, nat]]]],`
		1906	`[`
		1907	`[construct_name, float_of_complex],`
		1908	`[encoding, 5],`
		1909	`[result_sort, floating_variety],`
		1910	`[parameter_sorts,`
		1911	`[`
		1912	`[csh, shape]]]],`
		1913	`[`
		1914	`[construct_name, complex_of_float],`
		1915	`[encoding, 6],`
		1916	`[result_sort, floating_variety],`
		1917	`[parameter_sorts,`
		1918	`[`
		1919	`[fsh, shape]]]]]]],`
		1920	`[`
		1921	`[sortid, group],`
		1922	`[encoding_bits, 0],`
		1923	`[has_extension, 0],`
		1924	`[constructs,`
		1925	`[`
		1926	`[`
		1927	`[construct_name, make_group],`
		1928	`[encoding, 0],`
		1929	`[result_sort, group],`
		1930	`[parameter_sorts,`
		1931	`[`
		1932	`[us, unit_list]]]]]]],`
		1933	`[`
		1934	`[sortid, label],`
		1935	`[encoding_bits, 1],`
		1936	`[has_extension, 1],`
		1937	`[constructs,`
		1938	`[`
		1939	`[`
		1940	`[construct_name, label_apply_token],`
		1941	`[encoding, 2],`
		1942	`[result_sort, label],`
		1943	`[parameter_sorts,`
		1944	`[`
		1945	`[token_value, token],`
		1946	`[token_args, bitstream]]]],`
		1947	`[`
		1948	`[construct_name, make_label],`
		1949	`[encoding, 1],`
		1950	`[result_sort, label],`
		1951	`[parameter_sorts,`
		1952	`[`
		1953	`[labelno, tdfint]]]]]]],`
		1954	`[`
		1955	`[sortid, link],`
		1956	`[encoding_bits, 0],`
		1957	`[has_extension, 0],`
		1958	`[constructs,`
		1959	`[`
		1960	`[`
		1961	`[construct_name, make_link],`
		1962	`[encoding, 0],`
		1963	`[result_sort, link],`
		1964	`[parameter_sorts,`
		1965	`[`
		1966	`[unit_name, tdfint],`
		1967	`[capsule_name, tdfint]]]]]]],`
		1968	`[`
		1969	`[sortid, linkextern],`
		1970	`[encoding_bits, 0],`
		1971	`[has_extension, 0],`
		1972	`[constructs,`
		1973	`[`
		1974	`[`
		1975	`[construct_name, make_linkextern],`
		1976	`[encoding, 0],`
		1977	`[result_sort, linkextern],`
		1978	`[parameter_sorts,`
		1979	`[`
		1980	`[internal, tdfint],`
		1981	`[ext, external]]]]]]],`
		1982	`[`
		1983	`[sortid, links],`
		1984	`[encoding_bits, 0],`
		1985	`[has_extension, 0],`
		1986	`[constructs,`
		1987	`[`
		1988	`[`
		1989	`[construct_name, make_links],`
		1990	`[encoding, 0],`
		1991	`[result_sort, links],`
		1992	`[parameter_sorts,`
		1993	`[`
		1994	`[ls, link_list]]]]]]],`
		1995	`[`
		1996	`[sortid, nat],`
		1997	`[encoding_bits, 3],`
		1998	`[has_extension, 1],`
		1999	`[constructs,`
		2000	`[`
		2001	`[`
		2002	`[construct_name, nat_apply_token],`
		2003	`[encoding, 1],`
		2004	`[result_sort, nat],`
		2005	`[parameter_sorts,`
		2006	`[`
		2007	`[token_value, token],`
		2008	`[token_args, bitstream]]]],`
		2009	`[`
		2010	`[construct_name, nat_cond],`
		2011	`[encoding, 2],`
		2012	`[result_sort, nat],`
		2013	`[parameter_sorts,`
		2014	`[`
		2015	`[control, exp],`
		2016	`[e1, bitstream],`
		2017	`[e2, bitstream]]]],`
		2018	`[`
		2019	`[construct_name, computed_nat],`
		2020	`[encoding, 3],`
		2021	`[result_sort, nat],`
		2022	`[parameter_sorts,`
		2023	`[`
		2024	`[arg, exp]]]],`
		2025	`[`
		2026	`[construct_name, error_val],`
		2027	`[encoding, 4],`
		2028	`[result_sort, nat],`
		2029	`[parameter_sorts,`
		2030	`[`
		2031	`[err, error_code]]]],`
		2032	`[`
		2033	`[construct_name, make_nat],`
		2034	`[encoding, 5],`
		2035	`[result_sort, nat],`
		2036	`[parameter_sorts,`
		2037	`[`
		2038	`[n, tdfint]]]]]]],`
		2039	`[`
		2040	`[sortid, ntest],`
		2041	`[encoding_bits, 4],`
		2042	`[has_extension, 1],`
		2043	`[constructs,`
		2044	`[`
		2045	`[`
		2046	`[construct_name, ntest_apply_token],`
		2047	`[encoding, 1],`
		2048	`[result_sort, ntest],`
		2049	`[parameter_sorts,`
		2050	`[`
		2051	`[token_value, token],`
		2052	`[token_args, bitstream]]]],`
		2053	`[`
		2054	`[construct_name, ntest_cond],`
		2055	`[encoding, 2],`
		2056	`[result_sort, ntest],`
		2057	`[parameter_sorts,`
		2058	`[`
		2059	`[control, exp],`
		2060	`[e1, bitstream],`
		2061	`[e2, bitstream]]]],`
		2062	`[`
		2063	`[construct_name, equal],`
		2064	`[encoding, 3],`
		2065	`[result_sort, ntest],`
		2066	`[parameter_sorts,`
		2067	`[]]],`
		2068	`[`
		2069	`[construct_name, greater_than],`
		2070	`[encoding, 4],`
		2071	`[result_sort, ntest],`
		2072	`[parameter_sorts,`
		2073	`[]]],`
		2074	`[`
		2075	`[construct_name, greater_than_or_equal],`
		2076	`[encoding, 5],`
		2077	`[result_sort, ntest],`
		2078	`[parameter_sorts,`
		2079	`[]]],`
		2080	`[`
		2081	`[construct_name, less_than],`
		2082	`[encoding, 6],`
		2083	`[result_sort, ntest],`
		2084	`[parameter_sorts,`
		2085	`[]]],`
		2086	`[`
		2087	`[construct_name, less_than_or_equal],`
		2088	`[encoding, 7],`
		2089	`[result_sort, ntest],`
		2090	`[parameter_sorts,`
		2091	`[]]],`
		2092	`[`
		2093	`[construct_name, not_equal],`
		2094	`[encoding, 8],`
		2095	`[result_sort, ntest],`
		2096	`[parameter_sorts,`
		2097	`[]]],`
		2098	`[`
		2099	`[construct_name, not_greater_than],`
		2100	`[encoding, 9],`
		2101	`[result_sort, ntest],`
		2102	`[parameter_sorts,`
		2103	`[]]],`
		2104	`[`
		2105	`[construct_name, not_greater_than_or_equal],`
		2106	`[encoding, 10],`
		2107	`[result_sort, ntest],`
		2108	`[parameter_sorts,`
		2109	`[]]],`
		2110	`[`
		2111	`[construct_name, not_less_than],`
		2112	`[encoding, 11],`
		2113	`[result_sort, ntest],`
		2114	`[parameter_sorts,`
		2115	`[]]],`
		2116	`[`
		2117	`[construct_name, not_less_than_or_equal],`
		2118	`[encoding, 12],`
		2119	`[result_sort, ntest],`
		2120	`[parameter_sorts,`
		2121	`[]]],`
		2122	`[`
		2123	`[construct_name, less_than_or_greater_than],`
		2124	`[encoding, 13],`
		2125	`[result_sort, ntest],`
		2126	`[parameter_sorts,`
		2127	`[]]],`
		2128	`[`
		2129	`[construct_name, not_less_than_and_not_greater_than],`
		2130	`[encoding, 14],`
		2131	`[result_sort, ntest],`
		2132	`[parameter_sorts,`
		2133	`[]]],`
		2134	`[`
		2135	`[construct_name, comparable],`
		2136	`[encoding, 15],`
		2137	`[result_sort, ntest],`
		2138	`[parameter_sorts,`
		2139	`[]]],`
		2140	`[`
		2141	`[construct_name, not_comparable],`
		2142	`[encoding, 16],`
		2143	`[result_sort, ntest],`
		2144	`[parameter_sorts,`
		2145	`[]]]]]],`
		2146	`[`
		2147	`[sortid, otagexp],`
		2148	`[encoding_bits, 0],`
		2149	`[has_extension, 0],`
		2150	`[constructs,`
		2151	`[`
		2152	`[`
		2153	`[construct_name, make_otagexp],`
		2154	`[encoding, 0],`
		2155	`[result_sort, otagexp],`
		2156	`[parameter_sorts,`
		2157	`[`
		2158	`[tgopt, tag_option],`
		2159	`[e, exp]]]]]]],`
		2160	`[`
		2161	`[sortid, procprops],`
		2162	`[encoding_bits, 4],`
		2163	`[has_extension, 1],`
		2164	`[constructs,`
		2165	`[`
		2166	`[`
		2167	`[construct_name, procprops_apply_token],`
		2168	`[encoding, 1],`
		2169	`[result_sort, procprops],`
		2170	`[parameter_sorts,`
		2171	`[`
		2172	`[token_value, token],`
		2173	`[token_args, bitstream]]]],`
		2174	`[`
		2175	`[construct_name, procprops_cond],`
		2176	`[encoding, 2],`
		2177	`[result_sort, procprops],`
		2178	`[parameter_sorts,`
		2179	`[`
		2180	`[control, exp],`
		2181	`[e1, bitstream],`
		2182	`[e2, bitstream]]]],`
		2183	`[`
		2184	`[construct_name, add_procprops],`
		2185	`[encoding, 3],`
		2186	`[result_sort, procprops],`
		2187	`[parameter_sorts,`
		2188	`[`
		2189	`[arg1, procprops],`
		2190	`[arg2, procprops]]]],`
		2191	`[`
		2192	`[construct_name, check_stack],`
		2193	`[encoding, 4],`
		2194	`[result_sort, procprops],`
		2195	`[parameter_sorts,`
		2196	`[]]],`
		2197	`[`
		2198	`[construct_name, inline],`
		2199	`[encoding, 5],`
		2200	`[result_sort, procprops],`
		2201	`[parameter_sorts,`
		2202	`[]]],`
		2203	`[`
		2204	`[construct_name, no_long_jump_dest],`
		2205	`[encoding, 6],`
		2206	`[result_sort, procprops],`
		2207	`[parameter_sorts,`
		2208	`[]]],`
		2209	`[`
		2210	`[construct_name, untidy],`
		2211	`[encoding, 7],`
		2212	`[result_sort, procprops],`
		2213	`[parameter_sorts,`
		2214	`[]]],`
		2215	`[`
		2216	`[construct_name, var_callees],`
		2217	`[encoding, 8],`
		2218	`[result_sort, procprops],`
		2219	`[parameter_sorts,`
		2220	`[]]],`
		2221	`[`
		2222	`[construct_name, var_callers],`
		2223	`[encoding, 9],`
		2224	`[result_sort, procprops],`
		2225	`[parameter_sorts,`
		2226	`[]]]]]],`
		2227	`[`
		2228	`[sortid, rounding_mode],`
		2229	`[encoding_bits, 3],`
		2230	`[has_extension, 1],`
		2231	`[constructs,`
		2232	`[`
		2233	`[`
		2234	`[construct_name, rounding_mode_apply_token],`
		2235	`[encoding, 1],`
		2236	`[result_sort, rounding_mode],`
		2237	`[parameter_sorts,`
		2238	`[`
		2239	`[token_value, token],`
		2240	`[token_args, bitstream]]]],`
		2241	`[`
		2242	`[construct_name, rounding_mode_cond],`
		2243	`[encoding, 2],`
		2244	`[result_sort, rounding_mode],`
		2245	`[parameter_sorts,`
		2246	`[`
		2247	`[control, exp],`
		2248	`[e1, bitstream],`
		2249	`[e2, bitstream]]]],`
		2250	`[`
		2251	`[construct_name, round_as_state],`
		2252	`[encoding, 3],`
		2253	`[result_sort, rounding_mode],`
		2254	`[parameter_sorts,`
		2255	`[]]],`
		2256	`[`
		2257	`[construct_name, to_nearest],`
		2258	`[encoding, 4],`
		2259	`[result_sort, rounding_mode],`
		2260	`[parameter_sorts,`
		2261	`[]]],`
		2262	`[`
		2263	`[construct_name, toward_larger],`
		2264	`[encoding, 5],`
		2265	`[result_sort, rounding_mode],`
		2266	`[parameter_sorts,`
		2267	`[]]],`
		2268	`[`
		2269	`[construct_name, toward_smaller],`
		2270	`[encoding, 6],`
		2271	`[result_sort, rounding_mode],`
		2272	`[parameter_sorts,`
		2273	`[]]],`
		2274	`[`
		2275	`[construct_name, toward_zero],`
		2276	`[encoding, 7],`
		2277	`[result_sort, rounding_mode],`
		2278	`[parameter_sorts,`
		2279	`[]]]]]],`
		2280	`[`
		2281	`[sortid, shape],`
		2282	`[encoding_bits, 4],`
		2283	`[has_extension, 1],`
		2284	`[constructs,`
		2285	`[`
		2286	`[`
		2287	`[construct_name, shape_apply_token],`
		2288	`[encoding, 1],`
		2289	`[result_sort, shape],`
		2290	`[parameter_sorts,`
		2291	`[`
		2292	`[token_value, token],`
		2293	`[token_args, bitstream]]]],`
		2294	`[`
		2295	`[construct_name, shape_cond],`
		2296	`[encoding, 2],`
		2297	`[result_sort, shape],`
		2298	`[parameter_sorts,`
		2299	`[`
		2300	`[control, exp],`
		2301	`[e1, bitstream],`
		2302	`[e2, bitstream]]]],`
		2303	`[`
		2304	`[construct_name, bitfield],`
		2305	`[encoding, 3],`
		2306	`[result_sort, shape],`
		2307	`[parameter_sorts,`
		2308	`[`
		2309	`[bf_var, bitfield_variety]]]],`
		2310	`[`
		2311	`[construct_name, bottom],`
		2312	`[encoding, 4],`
		2313	`[result_sort, shape],`
		2314	`[parameter_sorts,`
		2315	`[]]],`
		2316	`[`
		2317	`[construct_name, compound],`
		2318	`[encoding, 5],`
		2319	`[result_sort, shape],`
		2320	`[parameter_sorts,`
		2321	`[`
		2322	`[sz, exp]]]],`
		2323	`[`
		2324	`[construct_name, floating],`
		2325	`[encoding, 6],`
		2326	`[result_sort, shape],`
		2327	`[parameter_sorts,`
		2328	`[`
		2329	`[fv, floating_variety]]]],`
		2330	`[`
		2331	`[construct_name, integer],`
		2332	`[encoding, 7],`
		2333	`[result_sort, shape],`
		2334	`[parameter_sorts,`
		2335	`[`
		2336	`[var, variety]]]],`
		2337	`[`
		2338	`[construct_name, nof],`
		2339	`[encoding, 8],`
		2340	`[result_sort, shape],`
		2341	`[parameter_sorts,`
		2342	`[`
		2343	`[n, nat],`
		2344	`[s, shape]]]],`
		2345	`[`
		2346	`[construct_name, offset],`
		2347	`[encoding, 9],`
		2348	`[result_sort, shape],`
		2349	`[parameter_sorts,`
		2350	`[`
		2351	`[arg1, alignment],`
		2352	`[arg2, alignment]]]],`
		2353	`[`
		2354	`[construct_name, pointer],`
		2355	`[encoding, 10],`
		2356	`[result_sort, shape],`
		2357	`[parameter_sorts,`
		2358	`[`
		2359	`[arg, alignment]]]],`
		2360	`[`
		2361	`[construct_name, proc],`
		2362	`[encoding, 11],`
		2363	`[result_sort, shape],`
		2364	`[parameter_sorts,`
		2365	`[]]],`
		2366	`[`
		2367	`[construct_name, top],`
		2368	`[encoding, 12],`
		2369	`[result_sort, shape],`
		2370	`[parameter_sorts,`
		2371	`[]]]]]],`
		2372	`[`
		2373	`[sortid, signed_nat],`
		2374	`[encoding_bits, 3],`
		2375	`[has_extension, 1],`
		2376	`[constructs,`
		2377	`[`
		2378	`[`
		2379	`[construct_name, signed_nat_apply_token],`
		2380	`[encoding, 1],`
		2381	`[result_sort, signed_nat],`
		2382	`[parameter_sorts,`
		2383	`[`
		2384	`[token_value, token],`
		2385	`[token_args, bitstream]]]],`
		2386	`[`
		2387	`[construct_name, signed_nat_cond],`
		2388	`[encoding, 2],`
		2389	`[result_sort, signed_nat],`
		2390	`[parameter_sorts,`
		2391	`[`
		2392	`[control, exp],`
		2393	`[e1, bitstream],`
		2394	`[e2, bitstream]]]],`
		2395	`[`
		2396	`[construct_name, computed_signed_nat],`
		2397	`[encoding, 3],`
		2398	`[result_sort, signed_nat],`
		2399	`[parameter_sorts,`
		2400	`[`
		2401	`[arg, exp]]]],`
		2402	`[`
		2403	`[construct_name, make_signed_nat],`
		2404	`[encoding, 4],`
		2405	`[result_sort, signed_nat],`
		2406	`[parameter_sorts,`
		2407	`[`
		2408	`[neg, tdfbool],`
		2409	`[n, tdfint]]]],`
		2410	`[`
		2411	`[construct_name, snat_from_nat],`
		2412	`[encoding, 5],`
		2413	`[result_sort, signed_nat],`
		2414	`[parameter_sorts,`
		2415	`[`
		2416	`[neg, bool],`
		2417	`[n, nat]]]]]]],`
		2418	`[`
		2419	`[sortid, sortname],`
		2420	`[encoding_bits, 5],`
		2421	`[has_extension, 1],`
		2422	`[constructs,`
		2423	`[`
		2424	`[`
		2425	`[construct_name, access],`
		2426	`[encoding, 1],`
		2427	`[result_sort, sortname],`
		2428	`[parameter_sorts,`
		2429	`[]]],`
		2430	`[`
		2431	`[construct_name, al_tag],`
		2432	`[encoding, 2],`
		2433	`[result_sort, sortname],`
		2434	`[parameter_sorts,`
		2435	`[]]],`
		2436	`[`
		2437	`[construct_name, alignment_sort],`
		2438	`[encoding, 3],`
		2439	`[result_sort, sortname],`
		2440	`[parameter_sorts,`
		2441	`[]]],`
		2442	`[`
		2443	`[construct_name, bitfield_variety],`
		2444	`[encoding, 4],`
		2445	`[result_sort, sortname],`
		2446	`[parameter_sorts,`
		2447	`[]]],`
		2448	`[`
		2449	`[construct_name, bool],`
		2450	`[encoding, 5],`
		2451	`[result_sort, sortname],`
		2452	`[parameter_sorts,`
		2453	`[]]],`
		2454	`[`
		2455	`[construct_name, error_treatment],`
		2456	`[encoding, 6],`
		2457	`[result_sort, sortname],`
		2458	`[parameter_sorts,`
		2459	`[]]],`
		2460	`[`
		2461	`[construct_name, exp],`
		2462	`[encoding, 7],`
		2463	`[result_sort, sortname],`
		2464	`[parameter_sorts,`
		2465	`[]]],`
		2466	`[`
		2467	`[construct_name, floating_variety],`
		2468	`[encoding, 8],`
		2469	`[result_sort, sortname],`
		2470	`[parameter_sorts,`
		2471	`[]]],`
		2472	`[`
		2473	`[construct_name, foreign_sort],`
		2474	`[encoding, 9],`
		2475	`[result_sort, sortname],`
		2476	`[parameter_sorts,`
		2477	`[`
		2478	`[foreign_name, string]]]],`
		2479	`[`
		2480	`[construct_name, label],`
		2481	`[encoding, 10],`
		2482	`[result_sort, sortname],`
		2483	`[parameter_sorts,`
		2484	`[]]],`
		2485	`[`
		2486	`[construct_name, nat],`
		2487	`[encoding, 11],`
		2488	`[result_sort, sortname],`
		2489	`[parameter_sorts,`
		2490	`[]]],`
		2491	`[`
		2492	`[construct_name, ntest],`
		2493	`[encoding, 12],`
		2494	`[result_sort, sortname],`
		2495	`[parameter_sorts,`
		2496	`[]]],`
		2497	`[`
		2498	`[construct_name, procprops],`
		2499	`[encoding, 13],`
		2500	`[result_sort, sortname],`
		2501	`[parameter_sorts,`
		2502	`[]]],`
		2503	`[`
		2504	`[construct_name, rounding_mode],`
		2505	`[encoding, 14],`
		2506	`[result_sort, sortname],`
		2507	`[parameter_sorts,`
		2508	`[]]],`
		2509	`[`
		2510	`[construct_name, shape],`
		2511	`[encoding, 15],`
		2512	`[result_sort, sortname],`
		2513	`[parameter_sorts,`
		2514	`[]]],`
		2515	`[`
		2516	`[construct_name, signed_nat],`
		2517	`[encoding, 16],`
		2518	`[result_sort, sortname],`
		2519	`[parameter_sorts,`
		2520	`[]]],`
		2521	`[`
		2522	`[construct_name, string],`
		2523	`[encoding, 17],`
		2524	`[result_sort, sortname],`
		2525	`[parameter_sorts,`
		2526	`[]]],`
		2527	`[`
		2528	`[construct_name, tag],`
		2529	`[encoding, 18],`
		2530	`[result_sort, sortname],`
		2531	`[parameter_sorts,`
		2532	`[]]],`
		2533	`[`
		2534	`[construct_name, transfer_mode],`
		2535	`[encoding, 19],`
		2536	`[result_sort, sortname],`
		2537	`[parameter_sorts,`
		2538	`[]]],`
		2539	`[`
		2540	`[construct_name, token],`
		2541	`[encoding, 20],`
		2542	`[result_sort, sortname],`
		2543	`[parameter_sorts,`
		2544	`[`
		2545	`[result, sortname],`
		2546	`[params, sortname_list]]]],`
		2547	`[`
		2548	`[construct_name, variety],`
		2549	`[encoding, 21],`
		2550	`[result_sort, sortname],`
		2551	`[parameter_sorts,`
		2552	`[]]]]]],`
		2553	`[`
		2554	`[sortid, string],`
		2555	`[encoding_bits, 3],`
		2556	`[has_extension, 1],`
		2557	`[constructs,`
		2558	`[`
		2559	`[`
		2560	`[construct_name, string_apply_token],`
		2561	`[encoding, 1],`
		2562	`[result_sort, string],`
		2563	`[parameter_sorts,`
		2564	`[`
		2565	`[token_value, token],`
		2566	`[token_args, bitstream]]]],`
		2567	`[`
		2568	`[construct_name, string_cond],`
		2569	`[encoding, 2],`
		2570	`[result_sort, string],`
		2571	`[parameter_sorts,`
		2572	`[`
		2573	`[control, exp],`
		2574	`[e1, bitstream],`
		2575	`[e2, bitstream]]]],`
		2576	`[`
		2577	`[construct_name, concat_string],`
		2578	`[encoding, 3],`
		2579	`[result_sort, string],`
		2580	`[parameter_sorts,`
		2581	`[`
		2582	`[arg1, string],`
		2583	`[arg2, string]]]],`
		2584	`[`
		2585	`[construct_name, make_string],`
		2586	`[encoding, 4],`
		2587	`[result_sort, string],`
		2588	`[parameter_sorts,`
		2589	`[`
		2590	`[arg, tdfstring]]]]]]],`
		2591	`[`
		2592	`[sortid, tag],`
		2593	`[encoding_bits, 1],`
		2594	`[has_extension, 1],`
		2595	`[constructs,`
		2596	`[`
		2597	`[`
		2598	`[construct_name, tag_apply_token],`
		2599	`[encoding, 2],`
		2600	`[result_sort, tag],`
		2601	`[parameter_sorts,`
		2602	`[`
		2603	`[token_value, token],`
		2604	`[token_args, bitstream]]]],`
		2605	`[`
		2606	`[construct_name, make_tag],`
		2607	`[encoding, 1],`
		2608	`[result_sort, tag],`
		2609	`[parameter_sorts,`
		2610	`[`
		2611	`[tagno, tdfint]]]]]]],`
		2612	`[`
		2613	`[sortid, tagacc],`
		2614	`[encoding_bits, 0],`
		2615	`[has_extension, 0],`
		2616	`[constructs,`
		2617	`[`
		2618	`[`
		2619	`[construct_name, make_tagacc],`
		2620	`[encoding, 0],`
		2621	`[result_sort, tagacc],`
		2622	`[parameter_sorts,`
		2623	`[`
		2624	`[tg, tag],`
		2625	`[acc, access_option]]]]]]],`
		2626	`[`
		2627	`[sortid, tagdec],`
		2628	`[encoding_bits, 2],`
		2629	`[has_extension, 1],`
		2630	`[constructs,`
		2631	`[`
		2632	`[`
		2633	`[construct_name, make_id_tagdec],`
		2634	`[encoding, 1],`
		2635	`[result_sort, tagdec],`
		2636	`[parameter_sorts,`
		2637	`[`
		2638	`[t_intro, tdfint],`
		2639	`[acc, access_option],`
		2640	`[signature, string_option],`
		2641	`[x, shape]]]],`
		2642	`[`
		2643	`[construct_name, make_var_tagdec],`
		2644	`[encoding, 2],`
		2645	`[result_sort, tagdec],`
		2646	`[parameter_sorts,`
		2647	`[`
		2648	`[t_intro, tdfint],`
		2649	`[acc, access_option],`
		2650	`[signature, string_option],`
		2651	`[x, shape]]]],`
		2652	`[`
		2653	`[construct_name, common_tagdec],`
		2654	`[encoding, 3],`
		2655	`[result_sort, tagdec],`
		2656	`[parameter_sorts,`
		2657	`[`
		2658	`[t_intro, tdfint],`
		2659	`[acc, access_option],`
		2660	`[signature, string_option],`
		2661	`[x, shape]]]]]]],`
		2662	`[`
		2663	`[sortid, tagdec_props],`
		2664	`[encoding_bits, 0],`
		2665	`[has_extension, 0],`
		2666	`[constructs,`
		2667	`[`
		2668	`[`
		2669	`[construct_name, make_tagdecs],`
		2670	`[encoding, 0],`
		2671	`[result_sort, tagdec_props],`
		2672	`[parameter_sorts,`
		2673	`[`
		2674	`[no_labels, tdfint],`
		2675	`[tds, tagdec_list]]]]]]],`
		2676	`[`
		2677	`[sortid, tagdef],`
		2678	`[encoding_bits, 2],`
		2679	`[has_extension, 1],`
		2680	`[constructs,`
		2681	`[`
		2682	`[`
		2683	`[construct_name, make_id_tagdef],`
		2684	`[encoding, 1],`
		2685	`[result_sort, tagdef],`
		2686	`[parameter_sorts,`
		2687	`[`
		2688	`[t, tdfint],`
		2689	`[signature, string_option],`
		2690	`[e, exp]]],`
		2691	`[break, 1]],`
		2692	`[`
		2693	`[construct_name, make_var_tagdef],`
		2694	`[encoding, 2],`
		2695	`[result_sort, tagdef],`
		2696	`[parameter_sorts,`
		2697	`[`
		2698	`[t, tdfint],`
		2699	`[opt_access, access_option],`
		2700	`[signature, string_option],`
		2701	`[e, exp]]],`
		2702	`[break, 1]],`
		2703	`[`
		2704	`[construct_name, common_tagdef],`
		2705	`[encoding, 3],`
		2706	`[result_sort, tagdef],`
		2707	`[parameter_sorts,`
		2708	`[`
		2709	`[t, tdfint],`
		2710	`[opt_access, access_option],`
		2711	`[signature, string_option],`
		2712	`[e, exp]]],`
		2713	`[break, 1]]]]],`
		2714	`[`
		2715	`[sortid, tagdef_props],`
		2716	`[encoding_bits, 0],`
		2717	`[has_extension, 0],`
		2718	`[constructs,`
		2719	`[`
		2720	`[`
		2721	`[construct_name, make_tagdefs],`
		2722	`[encoding, 0],`
		2723	`[result_sort, tagdef_props],`
		2724	`[parameter_sorts,`
		2725	`[`
		2726	`[no_labels, tdfint],`
		2727	`[tds, tagdef_list]]]]]]],`
		2728	`[`
		2729	`[sortid, tagshacc],`
		2730	`[encoding_bits, 0],`
		2731	`[has_extension, 0],`
		2732	`[constructs,`
		2733	`[`
		2734	`[`
		2735	`[construct_name, make_tagshacc],`
		2736	`[encoding, 0],`
		2737	`[result_sort, tagshacc],`
		2738	`[parameter_sorts,`
		2739	`[`
		2740	`[sha, shape],`
		2741	`[opt_access, access_option],`
		2742	`[tg_intro, tag]]]]]]],`
		2743	`[`
		2744	`[sortid, tokdec],`
		2745	`[encoding_bits, 1],`
		2746	`[has_extension, 1],`
		2747	`[constructs,`
		2748	`[`
		2749	`[`
		2750	`[construct_name, make_tokdec],`
		2751	`[encoding, 1],`
		2752	`[result_sort, tokdec],`
		2753	`[parameter_sorts,`
		2754	`[`
		2755	`[tok, tdfint],`
		2756	`[signature, string_option],`
		2757	`[s, sortname]]]]]]],`
		2758	`[`
		2759	`[sortid, tokdec_props],`
		2760	`[encoding_bits, 0],`
		2761	`[has_extension, 0],`
		2762	`[constructs,`
		2763	`[`
		2764	`[`
		2765	`[construct_name, make_tokdecs],`
		2766	`[encoding, 0],`
		2767	`[result_sort, tokdec_props],`
		2768	`[parameter_sorts,`
		2769	`[`
		2770	`[tds, tokdec_list]]]]]]],`
		2771	`[`
		2772	`[sortid, tokdef],`
		2773	`[encoding_bits, 1],`
		2774	`[has_extension, 1],`
		2775	`[constructs,`
		2776	`[`
		2777	`[`
		2778	`[construct_name, make_tokdef],`
		2779	`[encoding, 1],`
		2780	`[result_sort, tokdef],`
		2781	`[parameter_sorts,`
		2782	`[`
		2783	`[tok, tdfint],`
		2784	`[signature, string_option],`
		2785	`[def, bitstream]]]]]]],`
		2786	`[`
		2787	`[sortid, tokdef_props],`
		2788	`[encoding_bits, 0],`
		2789	`[has_extension, 0],`
		2790	`[constructs,`
		2791	`[`
		2792	`[`
		2793	`[construct_name, make_tokdefs],`
		2794	`[encoding, 0],`
		2795	`[result_sort, tokdef_props],`
		2796	`[parameter_sorts,`
		2797	`[`
		2798	`[no_labels, tdfint],`
		2799	`[tds, tokdef_list]]]]]]],`
		2800	`[`
		2801	`[sortid, token],`
		2802	`[encoding_bits, 2],`
		2803	`[has_extension, 1],`
		2804	`[constructs,`
		2805	`[`
		2806	`[`
		2807	`[construct_name, token_apply_token],`
		2808	`[encoding, 1],`
		2809	`[result_sort, token],`
		2810	`[parameter_sorts,`
		2811	`[`
		2812	`[token_value, token],`
		2813	`[token_args, bitstream]]]],`
		2814	`[`
		2815	`[construct_name, make_tok],`
		2816	`[encoding, 2],`
		2817	`[result_sort, token],`
		2818	`[parameter_sorts,`
		2819	`[`
		2820	`[tokno, tdfint]]]],`
		2821	`[`
		2822	`[construct_name, use_tokdef],`
		2823	`[encoding, 3],`
		2824	`[result_sort, token],`
		2825	`[parameter_sorts,`
		2826	`[`
		2827	`[tdef, bitstream]]]]]]],`
		2828	`[`
		2829	`[sortid, token_defn],`
		2830	`[encoding_bits, 1],`
		2831	`[has_extension, 1],`
		2832	`[constructs,`
		2833	`[`
		2834	`[`
		2835	`[construct_name, token_definition],`
		2836	`[encoding, 1],`
		2837	`[result_sort, token_defn],`
		2838	`[parameter_sorts,`
		2839	`[`
		2840	`[result_sort, sortname],`
		2841	`[tok_params, tokformals_list]]]]]]],`
		2842	`[`
		2843	`[sortid, tokformals],`
		2844	`[encoding_bits, 0],`
		2845	`[has_extension, 0],`
		2846	`[constructs,`
		2847	`[`
		2848	`[`
		2849	`[construct_name, make_tokformals],`
		2850	`[encoding, 0],`
		2851	`[result_sort, tokformals],`
		2852	`[parameter_sorts,`
		2853	`[`
		2854	`[sn, sortname],`
		2855	`[tk, tdfint]]]]]]],`
		2856	`[`
		2857	`[sortid, transfer_mode],`
		2858	`[encoding_bits, 3],`
		2859	`[has_extension, 1],`
		2860	`[constructs,`
		2861	`[`
		2862	`[`
		2863	`[construct_name, transfer_mode_apply_token],`
		2864	`[encoding, 1],`
		2865	`[result_sort, transfer_mode],`
		2866	`[parameter_sorts,`
		2867	`[`
		2868	`[token_value, token],`
		2869	`[token_args, bitstream]]]],`
		2870	`[`
		2871	`[construct_name, transfer_mode_cond],`
		2872	`[encoding, 2],`
		2873	`[result_sort, transfer_mode],`
		2874	`[parameter_sorts,`
		2875	`[`
		2876	`[control, exp],`
		2877	`[e1, bitstream],`
		2878	`[e2, bitstream]]]],`
		2879	`[`
		2880	`[construct_name, add_modes],`
		2881	`[encoding, 3],`
		2882	`[result_sort, transfer_mode],`
		2883	`[parameter_sorts,`
		2884	`[`
		2885	`[md1, transfer_mode],`
		2886	`[md2, transfer_mode]]]],`
		2887	`[`
		2888	`[construct_name, overlap],`
		2889	`[encoding, 4],`
		2890	`[result_sort, transfer_mode],`
		2891	`[parameter_sorts,`
		2892	`[]]],`
		2893	`[`
		2894	`[construct_name, standard_transfer_mode],`
		2895	`[encoding, 5],`
		2896	`[result_sort, transfer_mode],`
		2897	`[parameter_sorts,`
		2898	`[]]],`
		2899	`[`
		2900	`[construct_name, trap_on_nil],`
		2901	`[encoding, 6],`
		2902	`[result_sort, transfer_mode],`
		2903	`[parameter_sorts,`
		2904	`[]]],`
		2905	`[`
		2906	`[construct_name, volatile],`
		2907	`[encoding, 7],`
		2908	`[result_sort, transfer_mode],`
		2909	`[parameter_sorts,`
		2910	`[]]],`
		2911	`[`
		2912	`[construct_name, complete],`
		2913	`[encoding, 8],`
		2914	`[result_sort, transfer_mode],`
		2915	`[parameter_sorts,`
		2916	`[]]]]]],`
		2917	`[`
		2918	`[sortid, unique],`
		2919	`[encoding_bits, 0],`
		2920	`[has_extension, 0],`
		2921	`[constructs,`
		2922	`[`
		2923	`[`
		2924	`[construct_name, make_unique],`
		2925	`[encoding, 0],`
		2926	`[result_sort, unique],`
		2927	`[parameter_sorts,`
		2928	`[`
		2929	`[text, tdfident_list]]]]]]],`
		2930	`[`
		2931	`[sortid, unit],`
		2932	`[encoding_bits, 0],`
		2933	`[has_extension, 0],`
		2934	`[constructs,`
		2935	`[`
		2936	`[`
		2937	`[construct_name, make_unit],`
		2938	`[encoding, 0],`
		2939	`[result_sort, unit],`
		2940	`[parameter_sorts,`
		2941	`[`
		2942	`[local_vars, tdfint_list],`
		2943	`[lks, links_list],`
		2944	`[properties, bytestream]]],`
		2945	`[break, 1]]]]],`
		2946	`[`
		2947	`[sortid, variety],`
		2948	`[encoding_bits, 2],`
		2949	`[has_extension, 1],`
		2950	`[constructs,`
		2951	`[`
		2952	`[`
		2953	`[construct_name, var_apply_token],`
		2954	`[encoding, 1],`
		2955	`[result_sort, variety],`
		2956	`[parameter_sorts,`
		2957	`[`
		2958	`[token_value, token],`
		2959	`[token_args, bitstream]]]],`
		2960	`[`
		2961	`[construct_name, var_cond],`
		2962	`[encoding, 2],`
		2963	`[result_sort, variety],`
		2964	`[parameter_sorts,`
		2965	`[`
		2966	`[control, exp],`
		2967	`[e1, bitstream],`
		2968	`[e2, bitstream]]]],`
		2969	`[`
		2970	`[construct_name, var_limits],`
		2971	`[encoding, 3],`
		2972	`[result_sort, variety],`
		2973	`[parameter_sorts,`
		2974	`[`
		2975	`[lower_bound, signed_nat],`
		2976	`[upper_bound, signed_nat]]]],`
		2977	`[`
		2978	`[construct_name, var_width],`
		2979	`[encoding, 4],`
		2980	`[result_sort, variety],`
		2981	`[parameter_sorts,`
		2982	`[`
		2983	`[signed_width, bool],`
		2984	`[width, nat]]]]]]],`
		2985	`[`
		2986	`[sortid, version_props],`
		2987	`[encoding_bits, 0],`
		2988	`[has_extension, 0],`
		2989	`[constructs,`
		2990	`[`
		2991	`[`
		2992	`[construct_name, make_versions],`
		2993	`[encoding, 0],`
		2994	`[result_sort, version_props],`
		2995	`[parameter_sorts,`
		2996	`[`
		2997	`[version_info, version_list]]]]]]],`
		2998	`[`
		2999	`[sortid, version],`
		3000	`[encoding_bits, 1],`
		3001	`[has_extension, 1],`
		3002	`[constructs,`
		3003	`[`
		3004	`[`
		3005	`[construct_name, make_version],`
		3006	`[encoding, 1],`
		3007	`[result_sort, version],`
		3008	`[parameter_sorts,`
		3009	`[`
		3010	`[major_version, tdfint],`
		3011	`[minor_version, tdfint]]]],`
		3012	`[`
		3013	`[construct_name, user_info],`
		3014	`[encoding, 2],`
		3015	`[result_sort, version],`
		3016	`[parameter_sorts,`
		3017	`[`
		3018	`[information, string]]]]]]]]],`
		3019	`[lists,`
		3020	`[enum_values_list,`
		3021	`diag_type_list,`
		3022	`diag_field_list,`
		3023	`exp_list,`
		3024	`error_code_list,`
		3025	`otagexp_list,`
		3026	`caselim_list,`
		3027	`label_list,`
		3028	`tagshacc_list,`
		3029	`sortname_list,`
		3030	`tokformals_list]],`
		3031	`[slists,`
		3032	`[diag_descriptor_list,`
		3033	`diag_tagdef_list,`
		3034	`linkinfo_list,`
		3035	`al_tagdef_list,`
		3036	`tdfident_list,`
		3037	`capsule_link_list,`
		3038	`extern_link_list,`
		3039	`group_list,`
		3040	`linkextern_list,`
		3041	`unit_list,`
		3042	`link_list,`
		3043	`tagdec_list,`
		3044	`tagdef_list,`
		3045	`tokdec_list,`
		3046	`tokdef_list,`
		3047	`tdfint_list,`
		3048	`links_list,`
		3049	`version_list]],`
		3050	`[options,`
		3051	`[exp_option,`
		3052	`procprops_option,`
		3053	`nat_option,`
		3054	`access_option,`
		3055	`tagacc_option,`
		3056	`tag_option,`
		3057	`string_option]],`
		3058	`[linkable_entities,`
		3059	`[`
		3060	`[`
		3061	`[entity_sort, diag_tag],`
		3062	`[entity_identifier, diagtag]],`
		3063	`[`
		3064	`[entity_sort, al_tag],`
		3065	`[entity_identifier, alignment]],`
		3066	`[`
		3067	`[entity_sort, tag],`
		3068	`[entity_identifier, tag]],`
		3069	`[`
		3070	`[entity_sort, token],`
		3071	`[entity_identifier, token]]]],`
		3072	`[kinds_of_unit,`
		3073	`[`
		3074	`[`
		3075	`[unit_elements, diag_unit],`
		3076	`[unit_identifier, diagdef]],`
		3077	`[`
		3078	`[unit_elements, diag_type_unit],`
		3079	`[unit_identifier, diagtype]],`
		3080	`[`
		3081	`[unit_elements, linkinfo_props],`
		3082	`[unit_identifier, linkinfo]],`
		3083	`[`
		3084	`[unit_elements, al_tagdef_props],`
		3085	`[unit_identifier, aldef]],`
		3086	`[`
		3087	`[unit_elements, tagdec_props],`
		3088	`[unit_identifier, tagdec]],`
		3089	`[`
		3090	`[unit_elements, tagdef_props],`
		3091	`[unit_identifier, tagdef]],`
		3092	`[`
		3093	`[unit_elements, tokdec_props],`
		3094	`[unit_identifier, tokdec]],`
		3095	`[`
		3096	`[unit_elements, tokdef_props],`
		3097	`[unit_identifier, tokdef]],`
		3098	`[`
		3099	`[unit_elements, version_props],`
		3100	`[unit_identifier, versions]]]],`
		3101	`[graph_edges,`
		3102	`[`
		3103	`[`
		3104	`[edge_sort, al_tag],`
		3105	`[edge_constructor, make_al_tag]],`
		3106	`[`
		3107	`[edge_sort, diag_tag],`
		3108	`[edge_constructor, make_diag_tag]],`
		3109	`[`
		3110	`[edge_sort, label],`
		3111	`[edge_constructor, make_label]],`
		3112	`[`
		3113	`[edge_sort, tag],`
		3114	`[edge_constructor, make_tag]],`
		3115	`[`
		3116	`[edge_sort, token],`
		3117	`[edge_constructor, make_tok]]]],`
		3118	`[major_version, 4],`
		3119	`[minor_version, 0]]`

Subversion Repositories tendra.SVN

(root)/branches/algol60/src/lib/tdf/def_4_0.db – Rev 91