WebSVN – tendra.SVN – Blame – /branches/algol60/src/lib/tdf/def_4_1.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	`[`
		3020	`[sortid, dg],`
		3021	`[encoding_bits, 6],`
		3022	`[has_extension, 1],`
		3023	`[constructs,`
		3024	`[`
		3025	`[`
		3026	`[construct_name, dg_apply_token],`
		3027	`[encoding, 1],`
		3028	`[result_sort, dg],`
		3029	`[parameter_sorts,`
		3030	`[`
		3031	`[token_value, token],`
		3032	`[token_args, bitstream]]]],`
		3033	`[`
		3034	`[construct_name, make_tag_dg],`
		3035	`[encoding, 2],`
		3036	`[result_sort, dg],`
		3037	`[parameter_sorts,`
		3038	`[`
		3039	`[tg, dg_tag],`
		3040	`[diag, dg]]]],`
		3041	`[`
		3042	`[construct_name, abortable_part_dg],`
		3043	`[encoding, 3],`
		3044	`[result_sort, dg],`
		3045	`[parameter_sorts,`
		3046	`[`
		3047	`[src_pos, dg_sourcepos],`
		3048	`[no_code, bool]]]],`
		3049	`[`
		3050	`[construct_name, accept_dg],`
		3051	`[encoding, 4],`
		3052	`[result_sort, dg],`
		3053	`[parameter_sorts,`
		3054	`[`
		3055	`[src_pos, dg_sourcepos],`
		3056	`[entry, dg_tag],`
		3057	`[params, dg_name_list],`
		3058	`[no_code, bool],`
		3059	`[alt, dg_tag_option]]]],`
		3060	`[`
		3061	`[construct_name, barrier_dg],`
		3062	`[encoding, 5],`
		3063	`[result_sort, dg],`
		3064	`[parameter_sorts,`
		3065	`[`
		3066	`[src_pos, dg_sourcepos],`
		3067	`[entry, dg_tag]]]],`
		3068	`[`
		3069	`[construct_name, branch_dg],`
		3070	`[encoding, 6],`
		3071	`[result_sort, dg],`
		3072	`[parameter_sorts,`
		3073	`[`
		3074	`[stmt_src_pos, dg_sourcepos]]]],`
		3075	`[`
		3076	`[construct_name, call_dg],`
		3077	`[encoding, 7],`
		3078	`[result_sort, dg],`
		3079	`[parameter_sorts,`
		3080	`[`
		3081	`[idname, dg_idname_option],`
		3082	`[src_pos, dg_sourcepos],`
		3083	`[call_kind, nat_option],`
		3084	`[module, dg_tag_option],`
		3085	`[basetype, dg_tag_option]]]],`
		3086	`[`
		3087	`[construct_name, compilation_dg],`
		3088	`[encoding, 8],`
		3089	`[result_sort, dg],`
		3090	`[parameter_sorts,`
		3091	`[`
		3092	`[comp_unit, dg_tag]]]],`
		3093	`[`
		3094	`[construct_name, destructor_dg],`
		3095	`[encoding, 9],`
		3096	`[result_sort, dg],`
		3097	`[parameter_sorts,`
		3098	`[`
		3099	`[whence, dg_sourcepos],`
		3100	`[obtain_value, exp_option]]]],`
		3101	`[`
		3102	`[construct_name, exception_handler_dg],`
		3103	`[encoding, 10],`
		3104	`[result_sort, dg],`
		3105	`[parameter_sorts,`
		3106	`[`
		3107	`[ex, dg_name_option]]]],`
		3108	`[`
		3109	`[construct_name, exception_scope_dg],`
		3110	`[encoding, 11],`
		3111	`[result_sort, dg],`
		3112	`[parameter_sorts,`
		3113	`[`
		3114	`[handlers, dg_tag_list]]]],`
		3115	`[`
		3116	`[construct_name, inline_call_dg],`
		3117	`[encoding, 12],`
		3118	`[result_sort, dg],`
		3119	`[parameter_sorts,`
		3120	`[`
		3121	`[proc, dg_tag],`
		3122	`[act_params, dg_name_list],`
		3123	`[call_kind, nat_option]]]],`
		3124	`[`
		3125	`[construct_name, inline_result_dg],`
		3126	`[encoding, 13],`
		3127	`[result_sort, dg],`
		3128	`[parameter_sorts,`
		3129	`[`
		3130	`[inline_id, dg_tag]]]],`
		3131	`[`
		3132	`[construct_name, inlined_dg],`
		3133	`[encoding, 14],`
		3134	`[result_sort, dg],`
		3135	`[parameter_sorts,`
		3136	`[`
		3137	`[d, dg],`
		3138	`[origin, dg_tag]]]],`
		3139	`[`
		3140	`[construct_name, jump_dg],`
		3141	`[encoding, 15],`
		3142	`[result_sort, dg],`
		3143	`[parameter_sorts,`
		3144	`[`
		3145	`[stmt_src_pos, dg_sourcepos]]]],`
		3146	`[`
		3147	`[construct_name, label_dg],`
		3148	`[encoding, 16],`
		3149	`[result_sort, dg],`
		3150	`[parameter_sorts,`
		3151	`[`
		3152	`[idname, dg_idname],`
		3153	`[src_pos, dg_sourcepos]]]],`
		3154	`[`
		3155	`[construct_name, lexical_block_dg],`
		3156	`[encoding, 17],`
		3157	`[result_sort, dg],`
		3158	`[parameter_sorts,`
		3159	`[`
		3160	`[idname, dg_idname_option],`
		3161	`[src_pos, dg_sourcepos]]]],`
		3162	`[`
		3163	`[construct_name, list_dg],`
		3164	`[encoding, 18],`
		3165	`[result_sort, dg],`
		3166	`[parameter_sorts,`
		3167	`[`
		3168	`[args, dg_list]]]],`
		3169	`[`
		3170	`[construct_name, long_jump_dg],`
		3171	`[encoding, 19],`
		3172	`[result_sort, dg],`
		3173	`[parameter_sorts,`
		3174	`[`
		3175	`[stmt_src_pos, dg_sourcepos]]]],`
		3176	`[`
		3177	`[construct_name, name_decl_dg],`
		3178	`[encoding, 20],`
		3179	`[result_sort, dg],`
		3180	`[parameter_sorts,`
		3181	`[`
		3182	`[name, dg_name]]]],`
		3183	`[`
		3184	`[construct_name, params_dg],`
		3185	`[encoding, 21],`
		3186	`[result_sort, dg],`
		3187	`[parameter_sorts,`
		3188	`[`
		3189	`[params, dg_name_list],`
		3190	`[outer_env, exp_option]]]],`
		3191	`[`
		3192	`[construct_name, raise_dg],`
		3193	`[encoding, 22],`
		3194	`[result_sort, dg],`
		3195	`[parameter_sorts,`
		3196	`[`
		3197	`[stmt_src_pos, dg_sourcepos],`
		3198	`[ex, dg_type_option],`
		3199	`[value, exp_option]]]],`
		3200	`[`
		3201	`[construct_name, requeue_dg],`
		3202	`[encoding, 23],`
		3203	`[result_sort, dg],`
		3204	`[parameter_sorts,`
		3205	`[`
		3206	`[stmt_src_pos, dg_sourcepos],`
		3207	`[entry, dg_tag],`
		3208	`[with_abort, bool]]]],`
		3209	`[`
		3210	`[construct_name, rts_call_dg],`
		3211	`[encoding, 24],`
		3212	`[result_sort, dg],`
		3213	`[parameter_sorts,`
		3214	`[`
		3215	`[src_pos, dg_sourcepos],`
		3216	`[call_kind, nat],`
		3217	`[entry, dg_tag_option],`
		3218	`[alt, dg_tag_option]]]],`
		3219	`[`
		3220	`[construct_name, select_dg],`
		3221	`[encoding, 25],`
		3222	`[result_sort, dg],`
		3223	`[parameter_sorts,`
		3224	`[`
		3225	`[src_pos, dg_sourcepos],`
		3226	`[async, bool]]]],`
		3227	`[`
		3228	`[construct_name, select_alternative_dg],`
		3229	`[encoding, 26],`
		3230	`[result_sort, dg],`
		3231	`[parameter_sorts,`
		3232	`[`
		3233	`[src_pos, dg_sourcepos],`
		3234	`[alt_kind, nat],`
		3235	`[no_code, bool],`
		3236	`[alt_value, exp]]]],`
		3237	`[`
		3238	`[construct_name, select_guard_dg],`
		3239	`[encoding, 27],`
		3240	`[result_sort, dg],`
		3241	`[parameter_sorts,`
		3242	`[`
		3243	`[src_pos, dg_sourcepos],`
		3244	`[alt, dg_tag]]]],`
		3245	`[`
		3246	`[construct_name, singlestep_dg],`
		3247	`[encoding, 28],`
		3248	`[result_sort, dg],`
		3249	`[parameter_sorts,`
		3250	`[`
		3251	`[src_pos, dg_sourcepos]]]],`
		3252	`[`
		3253	`[construct_name, source_language_dg],`
		3254	`[encoding, 29],`
		3255	`[result_sort, dg],`
		3256	`[parameter_sorts,`
		3257	`[`
		3258	`[language, nat]]]],`
		3259	`[`
		3260	`[construct_name, sourcepos_dg],`
		3261	`[encoding, 30],`
		3262	`[result_sort, dg],`
		3263	`[parameter_sorts,`
		3264	`[`
		3265	`[span, dg_sourcepos]]]],`
		3266	`[`
		3267	`[construct_name, statement_part_dg],`
		3268	`[encoding, 31],`
		3269	`[result_sort, dg],`
		3270	`[parameter_sorts,`
		3271	`[`
		3272	`[lb, dg_tag]]]],`
		3273	`[`
		3274	`[construct_name, test_dg],`
		3275	`[encoding, 32],`
		3276	`[result_sort, dg],`
		3277	`[parameter_sorts,`
		3278	`[`
		3279	`[src_pos, dg_sourcepos],`
		3280	`[inverted, bool]]]],`
		3281	`[`
		3282	`[construct_name, triggering_alternative_dg],`
		3283	`[encoding, 33],`
		3284	`[result_sort, dg],`
		3285	`[parameter_sorts,`
		3286	`[`
		3287	`[src_pos, dg_sourcepos],`
		3288	`[alt_kind, nat],`
		3289	`[no_code, bool]]]],`
		3290	`[`
		3291	`[construct_name, with_dg],`
		3292	`[encoding, 34],`
		3293	`[result_sort, dg],`
		3294	`[parameter_sorts,`
		3295	`[`
		3296	`[type, dg_type],`
		3297	`[obtain_value, exp]]]]]]],`
		3298	`[`
		3299	`[sortid, dg_accessibility],`
		3300	`[encoding_bits, 2],`
		3301	`[has_extension, 1],`
		3302	`[constructs,`
		3303	`[`
		3304	`[`
		3305	`[construct_name, dg_local_accessibility],`
		3306	`[encoding, 1],`
		3307	`[result_sort, dg_accessibility],`
		3308	`[parameter_sorts,`
		3309	`[]]],`
		3310	`[`
		3311	`[construct_name, dg_private_accessibility],`
		3312	`[encoding, 2],`
		3313	`[result_sort, dg_accessibility],`
		3314	`[parameter_sorts,`
		3315	`[]]],`
		3316	`[`
		3317	`[construct_name, dg_protected_accessibility],`
		3318	`[encoding, 3],`
		3319	`[result_sort, dg_accessibility],`
		3320	`[parameter_sorts,`
		3321	`[]]],`
		3322	`[`
		3323	`[construct_name, dg_public_accessibility],`
		3324	`[encoding, 4],`
		3325	`[result_sort, dg_accessibility],`
		3326	`[parameter_sorts,`
		3327	`[]]]]]],`
		3328	`[`
		3329	`[sortid, dg_append],`
		3330	`[encoding_bits, 1],`
		3331	`[has_extension, 1],`
		3332	`[constructs,`
		3333	`[`
		3334	`[`
		3335	`[construct_name, dg_name_append],`
		3336	`[encoding, 1],`
		3337	`[result_sort, dg_append],`
		3338	`[parameter_sorts,`
		3339	`[`
		3340	`[tg, dg_tag],`
		3341	`[name, dg_name]]]]]]],`
		3342	`[`
		3343	`[sortid, dg_bound],`
		3344	`[encoding_bits, 2],`
		3345	`[has_extension, 1],`
		3346	`[constructs,`
		3347	`[`
		3348	`[`
		3349	`[construct_name, dg_dynamic_bound],`
		3350	`[encoding, 1],`
		3351	`[result_sort, dg_bound],`
		3352	`[parameter_sorts,`
		3353	`[`
		3354	`[bound, dg_tag],`
		3355	`[sh, shape]]]],`
		3356	`[`
		3357	`[construct_name, dg_static_bound],`
		3358	`[encoding, 2],`
		3359	`[result_sort, dg_bound],`
		3360	`[parameter_sorts,`
		3361	`[`
		3362	`[bound, exp]]]],`
		3363	`[`
		3364	`[construct_name, dg_unknown_bound],`
		3365	`[encoding, 3],`
		3366	`[result_sort, dg_bound],`
		3367	`[parameter_sorts,`
		3368	`[`
		3369	`[sh, shape]]]]]]],`
		3370	`[`
		3371	`[sortid, dg_class_base],`
		3372	`[encoding_bits, 1],`
		3373	`[has_extension, 1],`
		3374	`[constructs,`
		3375	`[`
		3376	`[`
		3377	`[construct_name, make_dg_class_base],`
		3378	`[encoding, 1],`
		3379	`[result_sort, dg_class_base],`
		3380	`[parameter_sorts,`
		3381	`[`
		3382	`[base, dg_tag],`
		3383	`[whence, dg_sourcepos_option],`
		3384	`[location, token_option],`
		3385	`[accessibility, dg_accessibility_option],`
		3386	`[virtuality, dg_virtuality_option]]]]]]],`
		3387	`[`
		3388	`[sortid, dg_classmem],`
		3389	`[encoding_bits, 3],`
		3390	`[has_extension, 1],`
		3391	`[constructs,`
		3392	`[`
		3393	`[`
		3394	`[construct_name, dg_tag_classmem],`
		3395	`[encoding, 1],`
		3396	`[result_sort, dg_classmem],`
		3397	`[parameter_sorts,`
		3398	`[`
		3399	`[tg, dg_tag],`
		3400	`[mem, dg_classmem]]]],`
		3401	`[`
		3402	`[construct_name, dg_field_classmem],`
		3403	`[encoding, 2],`
		3404	`[result_sort, dg_classmem],`
		3405	`[parameter_sorts,`
		3406	`[`
		3407	`[idname, dg_idname],`
		3408	`[src_pos, dg_sourcepos],`
		3409	`[offset, exp],`
		3410	`[field_type, dg_type],`
		3411	`[accessibility, dg_accessibility_option],`
		3412	`[discr, bool_option],`
		3413	`[deflt, dg_default_option]]]],`
		3414	`[`
		3415	`[construct_name, dg_function_classmem],`
		3416	`[encoding, 3],`
		3417	`[result_sort, dg_classmem],`
		3418	`[parameter_sorts,`
		3419	`[`
		3420	`[fn, dg_name],`
		3421	`[vtable_slot, exp_option]]]],`
		3422	`[`
		3423	`[construct_name, dg_indirect_classmem],`
		3424	`[encoding, 4],`
		3425	`[result_sort, dg_classmem],`
		3426	`[parameter_sorts,`
		3427	`[`
		3428	`[idname, dg_idname],`
		3429	`[src_pos, dg_sourcepos],`
		3430	`[location, token],`
		3431	`[cmem_type, dg_type]]]],`
		3432	`[`
		3433	`[construct_name, dg_name_classmem],`
		3434	`[encoding, 5],`
		3435	`[result_sort, dg_classmem],`
		3436	`[parameter_sorts,`
		3437	`[`
		3438	`[name, dg_name]]]]]]],`
		3439	`[`
		3440	`[sortid, dg_comp_props],`
		3441	`[encoding_bits, 0],`
		3442	`[has_extension, 0],`
		3443	`[constructs,`
		3444	`[`
		3445	`[`
		3446	`[construct_name, make_dg_compunit],`
		3447	`[encoding, 0],`
		3448	`[result_sort, dg_comp_props],`
		3449	`[parameter_sorts,`
		3450	`[`
		3451	`[no_labels, tdfint],`
		3452	`[comp_unit, dg_compilation],`
		3453	`[l, dg_append_list]]]]]]],`
		3454	`[`
		3455	`[sortid, dg_compilation],`
		3456	`[encoding_bits, 2],`
		3457	`[has_extension, 1],`
		3458	`[constructs,`
		3459	`[`
		3460	`[`
		3461	`[construct_name, dg_tag_compilation],`
		3462	`[encoding, 1],`
		3463	`[result_sort, dg_compilation],`
		3464	`[parameter_sorts,`
		3465	`[`
		3466	`[tg, dg_tag],`
		3467	`[comp, dg_compilation]]]],`
		3468	`[`
		3469	`[construct_name, make_dg_compilation],`
		3470	`[encoding, 2],`
		3471	`[result_sort, dg_compilation],`
		3472	`[parameter_sorts,`
		3473	`[`
		3474	`[primary_file, dg_filename],`
		3475	`[comp_unit_deps, string_list],`
		3476	`[macros, dg_macro_list],`
		3477	`[comp_dir, dg_filename],`
		3478	`[date, nat],`
		3479	`[language, nat],`
		3480	`[id_case, nat],`
		3481	`[producer, string],`
		3482	`[options, string_list],`
		3483	`[dnames, dg_namelist]]]]]]],`
		3484	`[`
		3485	`[sortid, dg_constraint],`
		3486	`[encoding_bits, 2],`
		3487	`[has_extension, 1],`
		3488	`[constructs,`
		3489	`[`
		3490	`[`
		3491	`[construct_name, dg_type_constraint],`
		3492	`[encoding, 1],`
		3493	`[result_sort, dg_constraint],`
		3494	`[parameter_sorts,`
		3495	`[`
		3496	`[ref_member, dg_tag_option],`
		3497	`[type, dg_type]]]],`
		3498	`[`
		3499	`[construct_name, dg_value_constraint],`
		3500	`[encoding, 2],`
		3501	`[result_sort, dg_constraint],`
		3502	`[parameter_sorts,`
		3503	`[`
		3504	`[ref_member, dg_tag_option],`
		3505	`[value, exp]]]]]]],`
		3506	`[`
		3507	`[sortid, dg_default],`
		3508	`[encoding_bits, 1],`
		3509	`[has_extension, 1],`
		3510	`[constructs,`
		3511	`[`
		3512	`[`
		3513	`[construct_name, make_dg_default],`
		3514	`[encoding, 1],`
		3515	`[result_sort, dg_default],`
		3516	`[parameter_sorts,`
		3517	`[`
		3518	`[value, exp_option],`
		3519	`[src_span, dg_sourcepos_option]]]]]]],`
		3520	`[`
		3521	`[sortid, dg_dim],`
		3522	`[encoding_bits, 3],`
		3523	`[has_extension, 1],`
		3524	`[constructs,`
		3525	`[`
		3526	`[`
		3527	`[construct_name, dg_dim_apply_token],`
		3528	`[encoding, 1],`
		3529	`[result_sort, dg_dim],`
		3530	`[parameter_sorts,`
		3531	`[`
		3532	`[token_value, token],`
		3533	`[token_args, bitstream]]]],`
		3534	`[`
		3535	`[construct_name, dg_tag_dim],`
		3536	`[encoding, 2],`
		3537	`[result_sort, dg_dim],`
		3538	`[parameter_sorts,`
		3539	`[`
		3540	`[tg, dg_tag],`
		3541	`[d, dg_dim]]]],`
		3542	`[`
		3543	`[construct_name, dg_bounds_dim],`
		3544	`[encoding, 3],`
		3545	`[result_sort, dg_dim],`
		3546	`[parameter_sorts,`
		3547	`[`
		3548	`[low, dg_bound],`
		3549	`[high, dg_bound],`
		3550	`[index_type, dg_type]]]],`
		3551	`[`
		3552	`[construct_name, dg_count_dim],`
		3553	`[encoding, 4],`
		3554	`[result_sort, dg_dim],`
		3555	`[parameter_sorts,`
		3556	`[`
		3557	`[low, dg_bound],`
		3558	`[count, dg_bound],`
		3559	`[index_type, dg_type]]]],`
		3560	`[`
		3561	`[construct_name, dg_type_dim],`
		3562	`[encoding, 5],`
		3563	`[result_sort, dg_dim],`
		3564	`[parameter_sorts,`
		3565	`[`
		3566	`[type, dg_type],`
		3567	`[n, nat_option]]]],`
		3568	`[`
		3569	`[construct_name, dg_unspecified_dim],`
		3570	`[encoding, 6],`
		3571	`[result_sort, dg_dim],`
		3572	`[parameter_sorts,`
		3573	`[]]]]]],`
		3574	`[`
		3575	`[sortid, dg_discrim],`
		3576	`[encoding_bits, 1],`
		3577	`[has_extension, 1],`
		3578	`[constructs,`
		3579	`[`
		3580	`[`
		3581	`[construct_name, make_dg_discrim],`
		3582	`[encoding, 1],`
		3583	`[result_sort, dg_discrim],`
		3584	`[parameter_sorts,`
		3585	`[`
		3586	`[lower, exp],`
		3587	`[upper, exp]]]]]]],`
		3588	`[`
		3589	`[sortid, dg_enum],`
		3590	`[encoding_bits, 2],`
		3591	`[has_extension, 1],`
		3592	`[constructs,`
		3593	`[`
		3594	`[`
		3595	`[construct_name, dg_tag_enum],`
		3596	`[encoding, 1],`
		3597	`[result_sort, dg_enum],`
		3598	`[parameter_sorts,`
		3599	`[`
		3600	`[tg, dg_tag],`
		3601	`[e, dg_enum]]]],`
		3602	`[`
		3603	`[construct_name, make_dg_enum],`
		3604	`[encoding, 2],`
		3605	`[result_sort, dg_enum],`
		3606	`[parameter_sorts,`
		3607	`[`
		3608	`[value, exp],`
		3609	`[idname, dg_idname],`
		3610	`[src_pos, dg_sourcepos]]]],`
		3611	`[`
		3612	`[construct_name, dg_char_enum],`
		3613	`[encoding, 3],`
		3614	`[result_sort, dg_enum],`
		3615	`[parameter_sorts,`
		3616	`[`
		3617	`[value, exp],`
		3618	`[idchar, nat],`
		3619	`[src_pos, dg_sourcepos]]]]]]],`
		3620	`[`
		3621	`[sortid, dg_filename],`
		3622	`[encoding_bits, 2],`
		3623	`[has_extension, 1],`
		3624	`[constructs,`
		3625	`[`
		3626	`[`
		3627	`[construct_name, dg_filename_apply_token],`
		3628	`[encoding, 1],`
		3629	`[result_sort, dg_filename],`
		3630	`[parameter_sorts,`
		3631	`[`
		3632	`[token_value, token],`
		3633	`[token_args, bitstream]]]],`
		3634	`[`
		3635	`[construct_name, make_dg_filename],`
		3636	`[encoding, 2],`
		3637	`[result_sort, dg_filename],`
		3638	`[parameter_sorts,`
		3639	`[`
		3640	`[date, nat],`
		3641	`[machine, string],`
		3642	`[path, string],`
		3643	`[file, string]]]]]]],`
		3644	`[`
		3645	`[sortid, dg_idname],`
		3646	`[encoding_bits, 3],`
		3647	`[has_extension, 1],`
		3648	`[constructs,`
		3649	`[`
		3650	`[`
		3651	`[construct_name, dg_idname_apply_token],`
		3652	`[encoding, 1],`
		3653	`[result_sort, dg_idname],`
		3654	`[parameter_sorts,`
		3655	`[`
		3656	`[token_value, token],`
		3657	`[token_args, bitstream]]]],`
		3658	`[`
		3659	`[construct_name, dg_anonymous_idname],`
		3660	`[encoding, 2],`
		3661	`[result_sort, dg_idname],`
		3662	`[parameter_sorts,`
		3663	`[`
		3664	`[descr, string_option]]]],`
		3665	`[`
		3666	`[construct_name, dg_artificial_idname],`
		3667	`[encoding, 3],`
		3668	`[result_sort, dg_idname],`
		3669	`[parameter_sorts,`
		3670	`[`
		3671	`[aname, string_option]]]],`
		3672	`[`
		3673	`[construct_name, dg_external_idname],`
		3674	`[encoding, 4],`
		3675	`[result_sort, dg_idname],`
		3676	`[parameter_sorts,`
		3677	`[`
		3678	`[src_name, string]]]],`
		3679	`[`
		3680	`[construct_name, dg_instance_idname],`
		3681	`[encoding, 5],`
		3682	`[result_sort, dg_idname],`
		3683	`[parameter_sorts,`
		3684	`[`
		3685	`[idname, dg_idname_option],`
		3686	`[spec, dg_idname],`
		3687	`[whence, dg_sourcepos],`
		3688	`[aparams, dg_name_list]]]],`
		3689	`[`
		3690	`[construct_name, dg_sourcestring_idname],`
		3691	`[encoding, 6],`
		3692	`[result_sort, dg_idname],`
		3693	`[parameter_sorts,`
		3694	`[`
		3695	`[src_name, string]]]]]]],`
		3696	`[`
		3697	`[sortid, dg_macro],`
		3698	`[encoding_bits, 2],`
		3699	`[has_extension, 1],`
		3700	`[constructs,`
		3701	`[`
		3702	`[`
		3703	`[construct_name, dg_function_macro],`
		3704	`[encoding, 1],`
		3705	`[result_sort, dg_macro],`
		3706	`[parameter_sorts,`
		3707	`[`
		3708	`[src_pos, dg_sourcepos],`
		3709	`[idname, dg_idname],`
		3710	`[param, dg_idname_list],`
		3711	`[def, string]]]],`
		3712	`[`
		3713	`[construct_name, dg_include_macro],`
		3714	`[encoding, 2],`
		3715	`[result_sort, dg_macro],`
		3716	`[parameter_sorts,`
		3717	`[`
		3718	`[src_pos, dg_sourcepos],`
		3719	`[file, dg_filename],`
		3720	`[macros, dg_macro_list]]]],`
		3721	`[`
		3722	`[construct_name, dg_object_macro],`
		3723	`[encoding, 3],`
		3724	`[result_sort, dg_macro],`
		3725	`[parameter_sorts,`
		3726	`[`
		3727	`[src_pos, dg_sourcepos],`
		3728	`[idname, dg_idname],`
		3729	`[def, string]]]],`
		3730	`[`
		3731	`[construct_name, dg_undef_macro],`
		3732	`[encoding, 4],`
		3733	`[result_sort, dg_macro],`
		3734	`[parameter_sorts,`
		3735	`[`
		3736	`[src_pos, dg_sourcepos],`
		3737	`[idname, dg_idname]]]]]]],`
		3738	`[`
		3739	`[sortid, dg_name],`
		3740	`[encoding_bits, 5],`
		3741	`[has_extension, 1],`
		3742	`[constructs,`
		3743	`[`
		3744	`[`
		3745	`[construct_name, dg_name_apply_token],`
		3746	`[encoding, 1],`
		3747	`[result_sort, dg_name],`
		3748	`[parameter_sorts,`
		3749	`[`
		3750	`[token_value, token],`
		3751	`[token_args, bitstream]]]],`
		3752	`[`
		3753	`[construct_name, dg_tag_name],`
		3754	`[encoding, 2],`
		3755	`[result_sort, dg_name],`
		3756	`[parameter_sorts,`
		3757	`[`
		3758	`[tg, dg_tag],`
		3759	`[name, dg_name]]]],`
		3760	`[`
		3761	`[construct_name, dg_constant_name],`
		3762	`[encoding, 3],`
		3763	`[result_sort, dg_name],`
		3764	`[parameter_sorts,`
		3765	`[`
		3766	`[name, dg_name]]]],`
		3767	`[`
		3768	`[construct_name, dg_entry_family_name],`
		3769	`[encoding, 4],`
		3770	`[result_sort, dg_name],`
		3771	`[parameter_sorts,`
		3772	`[`
		3773	`[proc, dg_name],`
		3774	`[family, dg_dim]]]],`
		3775	`[`
		3776	`[construct_name, dg_entry_name],`
		3777	`[encoding, 5],`
		3778	`[result_sort, dg_name],`
		3779	`[parameter_sorts,`
		3780	`[`
		3781	`[idname, dg_idname],`
		3782	`[whence, dg_sourcepos],`
		3783	`[type, dg_type],`
		3784	`[accessibility, dg_accessibility_option],`
		3785	`[family, dg_dim_option]]]],`
		3786	`[`
		3787	`[construct_name, dg_inlined_name],`
		3788	`[encoding, 6],`
		3789	`[result_sort, dg_name],`
		3790	`[parameter_sorts,`
		3791	`[`
		3792	`[name, dg_name],`
		3793	`[origin, dg_tag]]]],`
		3794	`[`
		3795	`[construct_name, dg_is_spec_name],`
		3796	`[encoding, 7],`
		3797	`[result_sort, dg_name],`
		3798	`[parameter_sorts,`
		3799	`[`
		3800	`[name, dg_name],`
		3801	`[is_separate, bool_option]]]],`
		3802	`[`
		3803	`[construct_name, dg_module_name],`
		3804	`[encoding, 8],`
		3805	`[result_sort, dg_name],`
		3806	`[parameter_sorts,`
		3807	`[`
		3808	`[idname, dg_idname],`
		3809	`[whence, dg_sourcepos],`
		3810	`[memlist, dg_namelist],`
		3811	`[init, exp_option],`
		3812	`[elaboration, dg_tag_option]]]],`
		3813	`[`
		3814	`[construct_name, dg_namespace_name],`
		3815	`[encoding, 9],`
		3816	`[result_sort, dg_name],`
		3817	`[parameter_sorts,`
		3818	`[`
		3819	`[idname, dg_idname],`
		3820	`[whence, dg_sourcepos],`
		3821	`[members, dg_namelist]]]],`
		3822	`[`
		3823	`[construct_name, dg_object_name],`
		3824	`[encoding, 10],`
		3825	`[result_sort, dg_name],`
		3826	`[parameter_sorts,`
		3827	`[`
		3828	`[idname, dg_idname],`
		3829	`[whence, dg_sourcepos],`
		3830	`[type, dg_type],`
		3831	`[obtain_value, exp_option],`
		3832	`[accessibility, dg_accessibility_option]]]],`
		3833	`[`
		3834	`[construct_name, dg_proc_name],`
		3835	`[encoding, 11],`
		3836	`[result_sort, dg_name],`
		3837	`[parameter_sorts,`
		3838	`[`
		3839	`[idname, dg_idname],`
		3840	`[whence, dg_sourcepos],`
		3841	`[type, dg_type],`
		3842	`[obtain_value, exp_option],`
		3843	`[accessibility, dg_accessibility_option],`
		3844	`[virtuality, dg_virtuality_option],`
		3845	`[inl, bool],`
		3846	`[exceptions, dg_type_list_option],`
		3847	`[elaboration, dg_tag_option]]]],`
		3848	`[`
		3849	`[construct_name, dg_program_name],`
		3850	`[encoding, 12],`
		3851	`[result_sort, dg_name],`
		3852	`[parameter_sorts,`
		3853	`[`
		3854	`[idname, dg_idname],`
		3855	`[whence, dg_sourcepos],`
		3856	`[obtain_value, exp]]]],`
		3857	`[`
		3858	`[construct_name, dg_rep_clause_name],`
		3859	`[encoding, 13],`
		3860	`[result_sort, dg_name],`
		3861	`[parameter_sorts,`
		3862	`[`
		3863	`[item, dg_name],`
		3864	`[location, exp]]]],`
		3865	`[`
		3866	`[construct_name, dg_spec_ref_name],`
		3867	`[encoding, 14],`
		3868	`[result_sort, dg_name],`
		3869	`[parameter_sorts,`
		3870	`[`
		3871	`[specification, dg_tag],`
		3872	`[name, dg_name]]]],`
		3873	`[`
		3874	`[construct_name, dg_subunit_name],`
		3875	`[encoding, 15],`
		3876	`[result_sort, dg_name],`
		3877	`[parameter_sorts,`
		3878	`[`
		3879	`[parent, dg_tag],`
		3880	`[name, dg_name],`
		3881	`[subunit_kind, nat],`
		3882	`[accessibility, dg_accessibility_option]]]],`
		3883	`[`
		3884	`[construct_name, dg_type_name],`
		3885	`[encoding, 16],`
		3886	`[result_sort, dg_name],`
		3887	`[parameter_sorts,`
		3888	`[`
		3889	`[idname, dg_idname_option],`
		3890	`[whence, dg_sourcepos],`
		3891	`[accessibility, dg_accessibility_option],`
		3892	`[type, dg_type_option],`
		3893	`[new_type, bool],`
		3894	`[ada_derived, bool_option],`
		3895	`[constraints, dg_constraint_list_option]]]],`
		3896	`[`
		3897	`[construct_name, dg_visibility_name],`
		3898	`[encoding, 17],`
		3899	`[result_sort, dg_name],`
		3900	`[parameter_sorts,`
		3901	`[`
		3902	`[dname, dg_tag],`
		3903	`[import_kind, nat],`
		3904	`[idname, dg_idname_option],`
		3905	`[src_pos, dg_sourcepos_option],`
		3906	`[accessibility, dg_accessibility_option],`
		3907	`[type, dg_type_option]]]]]]],`
		3908	`[`
		3909	`[sortid, dg_namelist],`
		3910	`[encoding_bits, 2],`
		3911	`[has_extension, 1],`
		3912	`[constructs,`
		3913	`[`
		3914	`[`
		3915	`[construct_name, dg_tag_namelist],`
		3916	`[encoding, 1],`
		3917	`[result_sort, dg_namelist],`
		3918	`[parameter_sorts,`
		3919	`[`
		3920	`[tg, dg_tag],`
		3921	`[nl, dg_namelist]]]],`
		3922	`[`
		3923	`[construct_name, make_dg_namelist],`
		3924	`[encoding, 2],`
		3925	`[result_sort, dg_namelist],`
		3926	`[parameter_sorts,`
		3927	`[`
		3928	`[items, dg_name_list]]]]]]],`
		3929	`[`
		3930	`[sortid, dg_param],`
		3931	`[encoding_bits, 2],`
		3932	`[has_extension, 1],`
		3933	`[constructs,`
		3934	`[`
		3935	`[`
		3936	`[construct_name, dg_object_param],`
		3937	`[encoding, 1],`
		3938	`[result_sort, dg_param],`
		3939	`[parameter_sorts,`
		3940	`[`
		3941	`[idname, dg_idname_option],`
		3942	`[src_pos, dg_sourcepos_option],`
		3943	`[mode, dg_param_mode_option],`
		3944	`[param_type, dg_type],`
		3945	`[deflt, dg_default_option]]]],`
		3946	`[`
		3947	`[construct_name, dg_type_param],`
		3948	`[encoding, 2],`
		3949	`[result_sort, dg_param],`
		3950	`[parameter_sorts,`
		3951	`[`
		3952	`[idname, dg_idname_option],`
		3953	`[src_pos, dg_sourcepos_option],`
		3954	`[fparams, dg_param_list]]]]]]],`
		3955	`[`
		3956	`[sortid, dg_param_mode],`
		3957	`[encoding_bits, 2],`
		3958	`[has_extension, 1],`
		3959	`[constructs,`
		3960	`[`
		3961	`[`
		3962	`[construct_name, dg_in_mode],`
		3963	`[encoding, 1],`
		3964	`[result_sort, dg_param_mode],`
		3965	`[parameter_sorts,`
		3966	`[]]],`
		3967	`[`
		3968	`[construct_name, dg_inout_mode],`
		3969	`[encoding, 2],`
		3970	`[result_sort, dg_param_mode],`
		3971	`[parameter_sorts,`
		3972	`[]]],`
		3973	`[`
		3974	`[construct_name, dg_out_mode],`
		3975	`[encoding, 3],`
		3976	`[result_sort, dg_param_mode],`
		3977	`[parameter_sorts,`
		3978	`[]]]]]],`
		3979	`[`
		3980	`[sortid, dg_qualifier],`
		3981	`[encoding_bits, 3],`
		3982	`[has_extension, 1],`
		3983	`[constructs,`
		3984	`[`
		3985	`[`
		3986	`[construct_name, dg_aliased_qualifier],`
		3987	`[encoding, 1],`
		3988	`[result_sort, dg_qualifier],`
		3989	`[parameter_sorts,`
		3990	`[]]],`
		3991	`[`
		3992	`[construct_name, dg_class_wide_qualifier],`
		3993	`[encoding, 2],`
		3994	`[result_sort, dg_qualifier],`
		3995	`[parameter_sorts,`
		3996	`[]]],`
		3997	`[`
		3998	`[construct_name, dg_const_qualifier],`
		3999	`[encoding, 3],`
		4000	`[result_sort, dg_qualifier],`
		4001	`[parameter_sorts,`
		4002	`[]]],`
		4003	`[`
		4004	`[construct_name, dg_limited_qualifier],`
		4005	`[encoding, 4],`
		4006	`[result_sort, dg_qualifier],`
		4007	`[parameter_sorts,`
		4008	`[]]],`
		4009	`[`
		4010	`[construct_name, dg_volatile_qualifier],`
		4011	`[encoding, 5],`
		4012	`[result_sort, dg_qualifier],`
		4013	`[parameter_sorts,`
		4014	`[]]]]]],`
		4015	`[`
		4016	`[sortid, dg_sourcepos],`
		4017	`[encoding_bits, 3],`
		4018	`[has_extension, 1],`
		4019	`[constructs,`
		4020	`[`
		4021	`[`
		4022	`[construct_name, dg_file_sourcepos],`
		4023	`[encoding, 1],`
		4024	`[result_sort, dg_sourcepos],`
		4025	`[parameter_sorts,`
		4026	`[`
		4027	`[file, dg_filename]]]],`
		4028	`[`
		4029	`[construct_name, dg_global_sourcepos],`
		4030	`[encoding, 2],`
		4031	`[result_sort, dg_sourcepos],`
		4032	`[parameter_sorts,`
		4033	`[]]],`
		4034	`[`
		4035	`[construct_name, dg_mark_sourcepos],`
		4036	`[encoding, 3],`
		4037	`[result_sort, dg_sourcepos],`
		4038	`[parameter_sorts,`
		4039	`[`
		4040	`[file, dg_filename],`
		4041	`[line, nat],`
		4042	`[column, nat]]]],`
		4043	`[`
		4044	`[construct_name, dg_null_sourcepos],`
		4045	`[encoding, 4],`
		4046	`[result_sort, dg_sourcepos],`
		4047	`[parameter_sorts,`
		4048	`[]]],`
		4049	`[`
		4050	`[construct_name, dg_span_sourcepos],`
		4051	`[encoding, 5],`
		4052	`[result_sort, dg_sourcepos],`
		4053	`[parameter_sorts,`
		4054	`[`
		4055	`[from_file, dg_filename],`
		4056	`[from_line, nat],`
		4057	`[from_column, nat],`
		4058	`[to_file, dg_filename_option],`
		4059	`[to_line, nat],`
		4060	`[to_column, nat]]]]]]],`
		4061	`[`
		4062	`[sortid, dg_tag],`
		4063	`[encoding_bits, 1],`
		4064	`[has_extension, 1],`
		4065	`[constructs,`
		4066	`[`
		4067	`[`
		4068	`[construct_name, make_dg_tag],`
		4069	`[encoding, 1],`
		4070	`[result_sort, dg_tag],`
		4071	`[parameter_sorts,`
		4072	`[`
		4073	`[num, tdfint]]]]]]],`
		4074	`[`
		4075	`[sortid, dg_type],`
		4076	`[encoding_bits, 6],`
		4077	`[has_extension, 1],`
		4078	`[constructs,`
		4079	`[`
		4080	`[`
		4081	`[construct_name, dg_type_apply_token],`
		4082	`[encoding, 1],`
		4083	`[result_sort, dg_type],`
		4084	`[parameter_sorts,`
		4085	`[`
		4086	`[token_value, token],`
		4087	`[token_args, bitstream]]]],`
		4088	`[`
		4089	`[construct_name, dg_tag_type],`
		4090	`[encoding, 2],`
		4091	`[result_sort, dg_type],`
		4092	`[parameter_sorts,`
		4093	`[`
		4094	`[tg, dg_tag],`
		4095	`[type, dg_type]]]],`
		4096	`[`
		4097	`[construct_name, dg_address_type],`
		4098	`[encoding, 3],`
		4099	`[result_sort, dg_type],`
		4100	`[parameter_sorts,`
		4101	`[`
		4102	`[idname, dg_idname],`
		4103	`[sh, shape]]]],`
		4104	`[`
		4105	`[construct_name, dg_array_type],`
		4106	`[encoding, 4],`
		4107	`[result_sort, dg_type],`
		4108	`[parameter_sorts,`
		4109	`[`
		4110	`[element_type, dg_type],`
		4111	`[stride, exp],`
		4112	`[row_major, bool_option],`
		4113	`[dimensions, dg_dim_list]]]],`
		4114	`[`
		4115	`[construct_name, dg_bitfield_type],`
		4116	`[encoding, 5],`
		4117	`[result_sort, dg_type],`
		4118	`[parameter_sorts,`
		4119	`[`
		4120	`[type, dg_type],`
		4121	`[bv, bitfield_variety],`
		4122	`[sh, shape]]]],`
		4123	`[`
		4124	`[construct_name, dg_boolean_type],`
		4125	`[encoding, 6],`
		4126	`[result_sort, dg_type],`
		4127	`[parameter_sorts,`
		4128	`[`
		4129	`[idname, dg_idname],`
		4130	`[var, variety]]]],`
		4131	`[`
		4132	`[construct_name, dg_char_type],`
		4133	`[encoding, 7],`
		4134	`[result_sort, dg_type],`
		4135	`[parameter_sorts,`
		4136	`[`
		4137	`[idname, dg_idname],`
		4138	`[var, variety]]]],`
		4139	`[`
		4140	`[construct_name, dg_class_type],`
		4141	`[encoding, 8],`
		4142	`[result_sort, dg_type],`
		4143	`[parameter_sorts,`
		4144	`[`
		4145	`[inheritance, dg_class_base_list],`
		4146	`[members, dg_classmem_list],`
		4147	`[varpart, dg_varpart_option],`
		4148	`[friends, dg_tag_list],`
		4149	`[sh, shape_option],`
		4150	`[vtable_static, dg_tag_option],`
		4151	`[vtable_dynamic, dg_tag_option],`
		4152	`[tagname, dg_idname_option],`
		4153	`[src_pos, dg_sourcepos_option],`
		4154	`[is_union, bool],`
		4155	`[rtti_static, dg_tag_option],`
		4156	`[rtti_dynamic, dg_tag_option],`
		4157	`[new_type, bool],`
		4158	`[ada_derived, bool_option]]]],`
		4159	`[`
		4160	`[construct_name, dg_complex_float_type],`
		4161	`[encoding, 9],`
		4162	`[result_sort, dg_type],`
		4163	`[parameter_sorts,`
		4164	`[`
		4165	`[idname, dg_idname],`
		4166	`[var, floating_variety]]]],`
		4167	`[`
		4168	`[construct_name, dg_enum_type],`
		4169	`[encoding, 10],`
		4170	`[result_sort, dg_type],`
		4171	`[parameter_sorts,`
		4172	`[`
		4173	`[values, dg_enum_list],`
		4174	`[tagname, dg_idname_option],`
		4175	`[src_pos, dg_sourcepos_option],`
		4176	`[sh, shape],`
		4177	`[new_type, bool]]]],`
		4178	`[`
		4179	`[construct_name, dg_file_type],`
		4180	`[encoding, 11],`
		4181	`[result_sort, dg_type],`
		4182	`[parameter_sorts,`
		4183	`[`
		4184	`[elem_type, dg_type],`
		4185	`[sh, shape]]]],`
		4186	`[`
		4187	`[construct_name, dg_fixed_point_type],`
		4188	`[encoding, 12],`
		4189	`[result_sort, dg_type],`
		4190	`[parameter_sorts,`
		4191	`[`
		4192	`[rep_type, dg_type],`
		4193	`[small, exp],`
		4194	`[delta, exp_option],`
		4195	`[digits, exp_option]]]],`
		4196	`[`
		4197	`[construct_name, dg_float_type],`
		4198	`[encoding, 13],`
		4199	`[result_sort, dg_type],`
		4200	`[parameter_sorts,`
		4201	`[`
		4202	`[idname, dg_idname],`
		4203	`[var, floating_variety]]]],`
		4204	`[`
		4205	`[construct_name, dg_floating_digits_type],`
		4206	`[encoding, 14],`
		4207	`[result_sort, dg_type],`
		4208	`[parameter_sorts,`
		4209	`[`
		4210	`[rep_type, dg_type],`
		4211	`[digits, exp]]]],`
		4212	`[`
		4213	`[construct_name, dg_inlined_type],`
		4214	`[encoding, 15],`
		4215	`[result_sort, dg_type],`
		4216	`[parameter_sorts,`
		4217	`[`
		4218	`[type, dg_type],`
		4219	`[origin, dg_tag]]]],`
		4220	`[`
		4221	`[construct_name, dg_integer_type],`
		4222	`[encoding, 16],`
		4223	`[result_sort, dg_type],`
		4224	`[parameter_sorts,`
		4225	`[`
		4226	`[idname, dg_idname],`
		4227	`[var, variety]]]],`
		4228	`[`
		4229	`[construct_name, dg_is_spec_type],`
		4230	`[encoding, 17],`
		4231	`[result_sort, dg_type],`
		4232	`[parameter_sorts,`
		4233	`[`
		4234	`[type, dg_type]]]],`
		4235	`[`
		4236	`[construct_name, dg_modular_type],`
		4237	`[encoding, 18],`
		4238	`[result_sort, dg_type],`
		4239	`[parameter_sorts,`
		4240	`[`
		4241	`[rep_type, dg_type],`
		4242	`[size, exp]]]],`
		4243	`[`
		4244	`[construct_name, dg_named_type],`
		4245	`[encoding, 19],`
		4246	`[result_sort, dg_type],`
		4247	`[parameter_sorts,`
		4248	`[`
		4249	`[dname, dg_tag]]]],`
		4250	`[`
		4251	`[construct_name, dg_packed_type],`
		4252	`[encoding, 20],`
		4253	`[result_sort, dg_type],`
		4254	`[parameter_sorts,`
		4255	`[`
		4256	`[type, dg_type],`
		4257	`[sh, shape]]]],`
		4258	`[`
		4259	`[construct_name, dg_pointer_type],`
		4260	`[encoding, 21],`
		4261	`[result_sort, dg_type],`
		4262	`[parameter_sorts,`
		4263	`[`
		4264	`[type, dg_type],`
		4265	`[heap_only, bool_option]]]],`
		4266	`[`
		4267	`[construct_name, dg_proc_type],`
		4268	`[encoding, 22],`
		4269	`[result_sort, dg_type],`
		4270	`[parameter_sorts,`
		4271	`[`
		4272	`[params, dg_param_list],`
		4273	`[result_type, dg_type],`
		4274	`[prototype, bool_option],`
		4275	`[call_convention, nat_option],`
		4276	`[language, nat_option],`
		4277	`[prcprops, procprops_option]]]],`
		4278	`[`
		4279	`[construct_name, dg_ptr_memdata_type],`
		4280	`[encoding, 23],`
		4281	`[result_sort, dg_type],`
		4282	`[parameter_sorts,`
		4283	`[`
		4284	`[cls, dg_tag],`
		4285	`[memtype, dg_type],`
		4286	`[sh, shape],`
		4287	`[pdm_type, dg_tag_option]]]],`
		4288	`[`
		4289	`[construct_name, dg_ptr_memfn_type],`
		4290	`[encoding, 24],`
		4291	`[result_sort, dg_type],`
		4292	`[parameter_sorts,`
		4293	`[`
		4294	`[cls, dg_tag],`
		4295	`[memtype, dg_type],`
		4296	`[sh, shape],`
		4297	`[pfn_type, dg_tag_option]]]],`
		4298	`[`
		4299	`[construct_name, dg_qualified_type],`
		4300	`[encoding, 25],`
		4301	`[result_sort, dg_type],`
		4302	`[parameter_sorts,`
		4303	`[`
		4304	`[qualifier, dg_qualifier],`
		4305	`[type, dg_type]]]],`
		4306	`[`
		4307	`[construct_name, dg_reference_type],`
		4308	`[encoding, 26],`
		4309	`[result_sort, dg_type],`
		4310	`[parameter_sorts,`
		4311	`[`
		4312	`[type, dg_type]]]],`
		4313	`[`
		4314	`[construct_name, dg_set_type],`
		4315	`[encoding, 27],`
		4316	`[result_sort, dg_type],`
		4317	`[parameter_sorts,`
		4318	`[`
		4319	`[element_type, dg_type],`
		4320	`[sh, shape]]]],`
		4321	`[`
		4322	`[construct_name, dg_spec_ref_type],`
		4323	`[encoding, 28],`
		4324	`[result_sort, dg_type],`
		4325	`[parameter_sorts,`
		4326	`[`
		4327	`[specification, dg_tag],`
		4328	`[type, dg_type]]]],`
		4329	`[`
		4330	`[construct_name, dg_string_type],`
		4331	`[encoding, 29],`
		4332	`[result_sort, dg_type],`
		4333	`[parameter_sorts,`
		4334	`[`
		4335	`[character_type, dg_tag],`
		4336	`[lower_bound, exp],`
		4337	`[length, exp]]]],`
		4338	`[`
		4339	`[construct_name, dg_struct_type],`
		4340	`[encoding, 30],`
		4341	`[result_sort, dg_type],`
		4342	`[parameter_sorts,`
		4343	`[`
		4344	`[fields, dg_classmem_list],`
		4345	`[sh, shape_option],`
		4346	`[tagname, dg_idname_option],`
		4347	`[src_pos, dg_sourcepos_option],`
		4348	`[varpart, dg_varpart_option],`
		4349	`[is_union, bool],`
		4350	`[new_type, bool]]]],`
		4351	`[`
		4352	`[construct_name, dg_subrange_type],`
		4353	`[encoding, 31],`
		4354	`[result_sort, dg_type],`
		4355	`[parameter_sorts,`
		4356	`[`
		4357	`[rep_type, dg_type],`
		4358	`[low, dg_bound],`
		4359	`[high, dg_bound]]]],`
		4360	`[`
		4361	`[construct_name, dg_synchronous_type],`
		4362	`[encoding, 32],`
		4363	`[result_sort, dg_type],`
		4364	`[parameter_sorts,`
		4365	`[`
		4366	`[idname, dg_idname],`
		4367	`[whence, dg_sourcepos],`
		4368	`[entries, dg_name_list],`
		4369	`[socb, dg_tag],`
		4370	`[members, dg_classmem_list],`
		4371	`[varpart, dg_varpart_option],`
		4372	`[sh, shape_option],`
		4373	`[new_type, bool],`
		4374	`[elaboration, dg_tag_option]]]],`
		4375	`[`
		4376	`[construct_name, dg_task_type],`
		4377	`[encoding, 33],`
		4378	`[result_sort, dg_type],`
		4379	`[parameter_sorts,`
		4380	`[`
		4381	`[idname, dg_idname],`
		4382	`[whence, dg_sourcepos],`
		4383	`[entries, dg_name_list],`
		4384	`[task_id, dg_tag],`
		4385	`[tcb, dg_tag],`
		4386	`[members, dg_classmem_list],`
		4387	`[varpart, dg_varpart_option],`
		4388	`[sh, shape_option],`
		4389	`[new_type, bool],`
		4390	`[elaboration, dg_tag_option]]]],`
		4391	`[`
		4392	`[construct_name, dg_unknown_type],`
		4393	`[encoding, 34],`
		4394	`[result_sort, dg_type],`
		4395	`[parameter_sorts,`
		4396	`[`
		4397	`[sh, shape]]]],`
		4398	`[`
		4399	`[construct_name, dg_void_type],`
		4400	`[encoding, 35],`
		4401	`[result_sort, dg_type],`
		4402	`[parameter_sorts,`
		4403	`[]]]]]],`
		4404	`[`
		4405	`[sortid, dg_variant],`
		4406	`[encoding_bits, 1],`
		4407	`[has_extension, 1],`
		4408	`[constructs,`
		4409	`[`
		4410	`[`
		4411	`[construct_name, make_dg_variant],`
		4412	`[encoding, 1],`
		4413	`[result_sort, dg_variant],`
		4414	`[parameter_sorts,`
		4415	`[`
		4416	`[discr, dg_discrim_list],`
		4417	`[fields, dg_classmem_list]]]]]]],`
		4418	`[`
		4419	`[sortid, dg_varpart],`
		4420	`[encoding_bits, 2],`
		4421	`[has_extension, 1],`
		4422	`[constructs,`
		4423	`[`
		4424	`[`
		4425	`[construct_name, dg_discrim_varpart],`
		4426	`[encoding, 1],`
		4427	`[result_sort, dg_varpart],`
		4428	`[parameter_sorts,`
		4429	`[`
		4430	`[discrim, dg_classmem],`
		4431	`[variants, dg_variant_list]]]],`
		4432	`[`
		4433	`[construct_name, dg_sibl_discrim_varpart],`
		4434	`[encoding, 2],`
		4435	`[result_sort, dg_varpart],`
		4436	`[parameter_sorts,`
		4437	`[`
		4438	`[discrim, dg_tag],`
		4439	`[variants, dg_variant_list]]]],`
		4440	`[`
		4441	`[construct_name, dg_undiscrim_varpart],`
		4442	`[encoding, 3],`
		4443	`[result_sort, dg_varpart],`
		4444	`[parameter_sorts,`
		4445	`[`
		4446	`[tag_type, dg_type],`
		4447	`[variants, dg_variant_list]]]]]]],`
		4448	`[`
		4449	`[sortid, dg_virtuality],`
		4450	`[encoding_bits, 2],`
		4451	`[has_extension, 1],`
		4452	`[constructs,`
		4453	`[`
		4454	`[`
		4455	`[construct_name, dg_abstract_virtuality],`
		4456	`[encoding, 1],`
		4457	`[result_sort, dg_virtuality],`
		4458	`[parameter_sorts,`
		4459	`[]]],`
		4460	`[`
		4461	`[construct_name, dg_virtual_virtuality],`
		4462	`[encoding, 2],`
		4463	`[result_sort, dg_virtuality],`
		4464	`[parameter_sorts,`
		4465	`[]]]]]]]],`
		4466	`[lists,`
		4467	`[enum_values_list,`
		4468	`diag_type_list,`
		4469	`diag_field_list,`
		4470	`exp_list,`
		4471	`error_code_list,`
		4472	`otagexp_list,`
		4473	`caselim_list,`
		4474	`label_list,`
		4475	`tagshacc_list,`
		4476	`sortname_list,`
		4477	`tokformals_list,`
		4478	`dg_name_list,`
		4479	`dg_tag_list,`
		4480	`dg_list,`
		4481	`string_list,`
		4482	`dg_macro_list,`
		4483	`dg_idname_list,`
		4484	`dg_type_list,`
		4485	`dg_constraint_list,`
		4486	`dg_param_list,`
		4487	`dg_dim_list,`
		4488	`dg_class_base_list,`
		4489	`dg_classmem_list,`
		4490	`dg_enum_list,`
		4491	`dg_discrim_list,`
		4492	`dg_variant_list]],`
		4493	`[slists,`
		4494	`[diag_descriptor_list,`
		4495	`diag_tagdef_list,`
		4496	`linkinfo_list,`
		4497	`al_tagdef_list,`
		4498	`tdfident_list,`
		4499	`capsule_link_list,`
		4500	`extern_link_list,`
		4501	`group_list,`
		4502	`linkextern_list,`
		4503	`unit_list,`
		4504	`link_list,`
		4505	`tagdec_list,`
		4506	`tagdef_list,`
		4507	`tokdec_list,`
		4508	`tokdef_list,`
		4509	`tdfint_list,`
		4510	`links_list,`
		4511	`version_list,`
		4512	`dg_append_list]],`
		4513	`[options,`
		4514	`[exp_option,`
		4515	`procprops_option,`
		4516	`nat_option,`
		4517	`access_option,`
		4518	`tagacc_option,`
		4519	`tag_option,`
		4520	`string_option,`
		4521	`dg_tag_option,`
		4522	`dg_idname_option,`
		4523	`dg_name_option,`
		4524	`dg_type_option,`
		4525	`dg_sourcepos_option,`
		4526	`token_option,`
		4527	`dg_accessibility_option,`
		4528	`dg_virtuality_option,`
		4529	`bool_option,`
		4530	`dg_default_option,`
		4531	`dg_dim_option,`
		4532	`dg_type_list_option,`
		4533	`dg_constraint_list_option,`
		4534	`dg_param_mode_option,`
		4535	`dg_filename_option,`
		4536	`dg_varpart_option,`
		4537	`shape_option]],`
		4538	`[linkable_entities,`
		4539	`[`
		4540	`[`
		4541	`[entity_sort, diag_tag],`
		4542	`[entity_identifier, diagtag]],`
		4543	`[`
		4544	`[entity_sort, al_tag],`
		4545	`[entity_identifier, alignment]],`
		4546	`[`
		4547	`[entity_sort, tag],`
		4548	`[entity_identifier, tag]],`
		4549	`[`
		4550	`[entity_sort, token],`
		4551	`[entity_identifier, token]],`
		4552	`[`
		4553	`[entity_sort, dg_tag],`
		4554	`[entity_identifier, dgtag]]]],`
		4555	`[kinds_of_unit,`
		4556	`[`
		4557	`[`
		4558	`[unit_elements, diag_unit],`
		4559	`[unit_identifier, diagdef]],`
		4560	`[`
		4561	`[unit_elements, diag_type_unit],`
		4562	`[unit_identifier, diagtype]],`
		4563	`[`
		4564	`[unit_elements, linkinfo_props],`
		4565	`[unit_identifier, linkinfo]],`
		4566	`[`
		4567	`[unit_elements, al_tagdef_props],`
		4568	`[unit_identifier, aldef]],`
		4569	`[`
		4570	`[unit_elements, tagdec_props],`
		4571	`[unit_identifier, tagdec]],`
		4572	`[`
		4573	`[unit_elements, tagdef_props],`
		4574	`[unit_identifier, tagdef]],`
		4575	`[`
		4576	`[unit_elements, tokdec_props],`
		4577	`[unit_identifier, tokdec]],`
		4578	`[`
		4579	`[unit_elements, tokdef_props],`
		4580	`[unit_identifier, tokdef]],`
		4581	`[`
		4582	`[unit_elements, version_props],`
		4583	`[unit_identifier, versions]],`
		4584	`[`
		4585	`[unit_elements, dg_comp_props],`
		4586	`[unit_identifier, dgcompunit]]]],`
		4587	`[graph_edges,`
		4588	`[`
		4589	`[`
		4590	`[edge_sort, al_tag],`
		4591	`[edge_constructor, make_al_tag]],`
		4592	`[`
		4593	`[edge_sort, label],`
		4594	`[edge_constructor, make_label]],`
		4595	`[`
		4596	`[edge_sort, tag],`
		4597	`[edge_constructor, make_tag]],`
		4598	`[`
		4599	`[edge_sort, token],`
		4600	`[edge_constructor, make_tok]],`
		4601	`[`
		4602	`[edge_sort, diag_tag],`
		4603	`[edge_constructor, make_diag_tag]],`
		4604	`[`
		4605	`[edge_sort, dg_tag],`
		4606	`[edge_constructor, make_dg_tag]]]],`
		4607	`[major_version, 4],`
		4608	`[minor_version, 1]]`

Subversion Repositories tendra.SVN

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