mika_body([ nothing
,
package_specification(
 Standard_0,
 local_decl([pragma(pure, [Standard_0]),
 type(Boolean_1, no_discriminant, enumeration, [False_2, True_3]),
representation_clause(tic(Boolean_1, size), 1),
representation_clause(Boolean_1, agg([named([False_2], 0),
named([True_3], 1)])),
 type(Integer_4, no_discriminant, integer, Integer_4, range([ - (2 ** 31),  + (2 ** 31 - 1)])),
representation_clause(tic(Integer_4, size), 32),
 subtype(Natural_5, subtype_indication(may_be_null,Integer_4, constraint(range([0, tic(Integer_4, last)])))),
 subtype(Positive_6, subtype_indication(may_be_null,Integer_4, constraint(range([1, tic(Integer_4, last)])))),
 type(Short_short_integer_7, no_discriminant, integer, Integer_4, range([ - (2 ** 7),  + (2 ** 7 - 1)])),
representation_clause(tic(Short_short_integer_7, size), 8),
 type(Short_integer_8, no_discriminant, integer, Integer_4, range([ - (2 ** 15),  + (2 ** 15 - 1)])),
representation_clause(tic(Short_integer_8, size), 16),
 type(Long_integer_9, no_discriminant, integer, Integer_4, range([ - (2 ** 31),  + (2 ** 31 - 1)])),
representation_clause(tic(Long_integer_9, size), 32),
 type(Long_long_integer_10, no_discriminant, integer, Integer_4, range([ - (2 ** 63),  + (2 ** 63 - 1)])),
representation_clause(tic(Long_long_integer_10, size), 64),
 type(Short_float_11, no_discriminant, float, Float_12, digits(6, range([ - 3.40282346638529142879e38, 3.40282346638529142879e38]))),
representation_clause(tic(Short_float_11, size), 32),
 type(Float_12, no_discriminant, float, Float_12, digits(6, range([ - 3.40282346638529142879e38, 3.40282346638529142879e38]))),
representation_clause(tic(Float_12, size), 32),
 type(Long_float_13, no_discriminant, float, Float_12, digits(15, range([ - 1.79769313486232751309e308, 1.79769313486232751309e308]))),
representation_clause(tic(Long_float_13, size), 64),
 type(Long_long_float_14, no_discriminant, float, Float_12, digits(18, range([ - 1.790000e308, 1.790000e308]))),
representation_clause(tic(Long_long_float_14, size), 96),
 type(Character_15, no_discriminant, enumeration, [Nul_16, Soh_17, Stx_18, Etx_19, Eot_20, Enq_21, Ack_22, Bel_23, Bs_24, Ht_25, Lf_26, Vt_27, Ff_28, Cr_29, So_30, Si_31, Dle_32, Dc1_33, Dc2_34, Dc3_35, Dc4_36, Nak_37, Syn_38, Etb_39, Can_40, Em_41, Sub_42, Esc_43, Fs_44, Gs_45, Rs_46, Us_47, Char__32_48, Char__33_49, Char__34_50, Char__35_51, Char__36_52, Char__37_53, Char__38_54, Char__39_55, Char__40_56, Char__41_57, Char__42_58, Char__43_59, Char__44_60, Char__45_61, Char__46_62, Char__47_63, Char__48_64, Char__49_65, Char__50_66, Char__51_67, Char__52_68, Char__53_69, Char__54_70, Char__55_71, Char__56_72, Char__57_73, Char__58_74, Char__59_75, Char__60_76, Char__61_77, Char__62_78, Char__63_79, Char__64_80, Char__65_81, Char__66_82, Char__67_83, Char__68_84, Char__69_85, Char__70_86, Char__71_87, Char__72_88, Char__73_89, Char__74_90, Char__75_91, Char__76_92, Char__77_93, Char__78_94, Char__79_95, Char__80_96, Char__81_97, Char__82_98, Char__83_99, Char__84_100, Char__85_101, Char__86_102, Char__87_103, Char__88_104, Char__89_105, Char__90_106, Char__91_107, Char__92_108, Char__93_109, Char__94_110, Char__95_111, Char__96_112, Char__97_113, Char__98_114, Char__99_115, Char__100_116, Char__101_117, Char__102_118, Char__103_119, Char__104_120, Char__105_121, Char__106_122, Char__107_123, Char__108_124, Char__109_125, Char__110_126, Char__111_127, Char__112_128, Char__113_129, Char__114_130, Char__115_131, Char__116_132, Char__117_133, Char__118_134, Char__119_135, Char__120_136, Char__121_137, Char__122_138, Char__123_139, Char__124_140, Char__125_141, Char__126_142, Del_143, Reserved_128_144, Reserved_129_145, Bph_146, Nbh_147, Reserved_132_148, Nel_149, Ssa_150, Esa_151, Hts_152, Htj_153, Vts_154, Pld_155, Plu_156, Ri_157, Ss2_158, Ss3_159, Dcs_160, Pu1_161, Pu2_162, Sts_163, Cch_164, Mw_165, Spa_166, Epa_167, Sos_168, Reserved_153_169, Sci_170, Csi_171, St_172, Osc_173, Pm_174, Apc_175, Char__160_176, Char__161_177, Char__162_178, Char__163_179, Char__164_180, Char__165_181, Char__166_182, Char__167_183, Char__168_184, Char__169_185, Char__170_186, Char__171_187, Char__172_188, Char__173_189, Char__174_190, Char__175_191, Char__176_192, Char__177_193, Char__178_194, Char__179_195, Char__180_196, Char__181_197, Char__182_198, Char__183_199, Char__184_200, Char__185_201, Char__186_202, Char__187_203, Char__188_204, Char__189_205, Char__190_206, Char__191_207, Char__192_208, Char__193_209, Char__194_210, Char__195_211, Char__196_212, Char__197_213, Char__198_214, Char__199_215, Char__200_216, Char__201_217, Char__202_218, Char__203_219, Char__204_220, Char__205_221, Char__206_222, Char__207_223, Char__208_224, Char__209_225, Char__210_226, Char__211_227, Char__212_228, Char__213_229, Char__214_230, Char__215_231, Char__216_232, Char__217_233, Char__218_234, Char__219_235, Char__220_236, Char__221_237, Char__222_238, Char__223_239, Char__224_240, Char__225_241, Char__226_242, Char__227_243, Char__228_244, Char__229_245, Char__230_246, Char__231_247, Char__232_248, Char__233_249, Char__234_250, Char__235_251, Char__236_252, Char__237_253, Char__238_254, Char__239_255, Char__240_256, Char__241_257, Char__242_258, Char__243_259, Char__244_260, Char__245_261, Char__246_262, Char__247_263, Char__248_264, Char__249_265, Char__250_266, Char__251_267, Char__252_268, Char__253_269, Char__254_270, Char__255_271]),
representation_clause(tic(Character_15, size), 8),
 type(Wide_character_272, no_discriminant, new(derived_type_definition(not_limited_nor_synchronized, subtype_indication(may_be_null,Character_15, no_constraint)))),
representation_clause(tic(Wide_character_272, size), 16),
 type(Wide_wide_character_273, no_discriminant, new(derived_type_definition(not_limited_nor_synchronized, subtype_indication(may_be_null,Wide_character_272, no_constraint)))),
representation_clause(tic(Wide_wide_character_273, size), 32),

package_specification(
 Ascii_274,
 local_decl([  object(constant, [Nul_ascii_275], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [0])),
  object(constant, [Soh_ascii_276], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [1])),
  object(constant, [Stx_ascii_277], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [2])),
  object(constant, [Etx_ascii_278], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [3])),
  object(constant, [Eot_ascii_279], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [4])),
  object(constant, [Enq_ascii_280], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [5])),
  object(constant, [Ack_ascii_281], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [6])),
  object(constant, [Bel_ascii_282], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [7])),
  object(constant, [Bs_ascii_283], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [8])),
  object(constant, [Ht_ascii_284], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [9])),
  object(constant, [Lf_ascii_285], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [10])),
  object(constant, [Vt_ascii_286], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [11])),
  object(constant, [Ff_ascii_287], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [12])),
  object(constant, [Cr_ascii_288], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [13])),
  object(constant, [So_ascii_289], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [14])),
  object(constant, [Si_ascii_290], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [15])),
  object(constant, [Dle_ascii_291], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [16])),
  object(constant, [Dc1_ascii_292], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [17])),
  object(constant, [Dc2_ascii_293], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [18])),
  object(constant, [Dc3_ascii_294], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [19])),
  object(constant, [Dc4_ascii_295], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [20])),
  object(constant, [Nak_ascii_296], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [21])),
  object(constant, [Syn_ascii_297], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [22])),
  object(constant, [Etb_ascii_298], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [23])),
  object(constant, [Can_ascii_299], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [24])),
  object(constant, [Em_ascii_300], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [25])),
  object(constant, [Sub_ascii_301], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [26])),
  object(constant, [Esc_ascii_302], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [27])),
  object(constant, [Fs_ascii_303], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [28])),
  object(constant, [Gs_ascii_304], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [29])),
  object(constant, [Rs_ascii_305], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [30])),
  object(constant, [Us_ascii_306], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [31])),
  object(constant, [Del_ascii_307], subtype_indication(may_be_null,Character_15, no_constraint), indexed(tic(Character_15, val), [127])),
  object(constant, [Space_308], subtype_indication(may_be_null,Character_15, no_constraint), Char__32_48),
  object(constant, [Exclam_309], subtype_indication(may_be_null,Character_15, no_constraint), Char__33_49),
  object(constant, [Quotation_310], subtype_indication(may_be_null,Character_15, no_constraint), Char__34_50),
  object(constant, [Sharp_311], subtype_indication(may_be_null,Character_15, no_constraint), Char__35_51),
  object(constant, [Dollar_312], subtype_indication(may_be_null,Character_15, no_constraint), Char__36_52),
  object(constant, [Percent_313], subtype_indication(may_be_null,Character_15, no_constraint), Char__37_53),
  object(constant, [Ampersand_314], subtype_indication(may_be_null,Character_15, no_constraint), Char__38_54),
  object(constant, [Colon_315], subtype_indication(may_be_null,Character_15, no_constraint), Char__58_74),
  object(constant, [Semicolon_316], subtype_indication(may_be_null,Character_15, no_constraint), Char__59_75),
  object(constant, [Query_317], subtype_indication(may_be_null,Character_15, no_constraint), Char__63_79),
  object(constant, [At_sign_318], subtype_indication(may_be_null,Character_15, no_constraint), Char__64_80),
  object(constant, [L_bracket_319], subtype_indication(may_be_null,Character_15, no_constraint), Char__91_107),
  object(constant, [Back_slash_320], subtype_indication(may_be_null,Character_15, no_constraint), Char__92_108),
  object(constant, [R_bracket_321], subtype_indication(may_be_null,Character_15, no_constraint), Char__93_109),
  object(constant, [Circumflex_322], subtype_indication(may_be_null,Character_15, no_constraint), Char__94_110),
  object(constant, [Underline_323], subtype_indication(may_be_null,Character_15, no_constraint), Char__95_111),
  object(constant, [Grave_324], subtype_indication(may_be_null,Character_15, no_constraint), Char__96_112),
  object(constant, [L_brace_325], subtype_indication(may_be_null,Character_15, no_constraint), Char__123_139),
  object(constant, [Bar_326], subtype_indication(may_be_null,Character_15, no_constraint), Char__124_140),
  object(constant, [R_brace_327], subtype_indication(may_be_null,Character_15, no_constraint), Char__125_141),
  object(constant, [Tilde_328], subtype_indication(may_be_null,Character_15, no_constraint), Char__126_142),
  object(constant, [Lc_a_329], subtype_indication(may_be_null,Character_15, no_constraint), Char__97_113),
  object(constant, [Lc_b_330], subtype_indication(may_be_null,Character_15, no_constraint), Char__98_114),
  object(constant, [Lc_c_331], subtype_indication(may_be_null,Character_15, no_constraint), Char__99_115),
  object(constant, [Lc_d_332], subtype_indication(may_be_null,Character_15, no_constraint), Char__100_116),
  object(constant, [Lc_e_333], subtype_indication(may_be_null,Character_15, no_constraint), Char__101_117),
  object(constant, [Lc_f_334], subtype_indication(may_be_null,Character_15, no_constraint), Char__102_118),
  object(constant, [Lc_g_335], subtype_indication(may_be_null,Character_15, no_constraint), Char__103_119),
  object(constant, [Lc_h_336], subtype_indication(may_be_null,Character_15, no_constraint), Char__104_120),
  object(constant, [Lc_i_337], subtype_indication(may_be_null,Character_15, no_constraint), Char__105_121),
  object(constant, [Lc_j_338], subtype_indication(may_be_null,Character_15, no_constraint), Char__106_122),
  object(constant, [Lc_k_339], subtype_indication(may_be_null,Character_15, no_constraint), Char__107_123),
  object(constant, [Lc_l_340], subtype_indication(may_be_null,Character_15, no_constraint), Char__108_124),
  object(constant, [Lc_m_341], subtype_indication(may_be_null,Character_15, no_constraint), Char__109_125),
  object(constant, [Lc_n_342], subtype_indication(may_be_null,Character_15, no_constraint), Char__110_126),
  object(constant, [Lc_o_343], subtype_indication(may_be_null,Character_15, no_constraint), Char__111_127),
  object(constant, [Lc_p_344], subtype_indication(may_be_null,Character_15, no_constraint), Char__112_128),
  object(constant, [Lc_q_345], subtype_indication(may_be_null,Character_15, no_constraint), Char__113_129),
  object(constant, [Lc_r_346], subtype_indication(may_be_null,Character_15, no_constraint), Char__114_130),
  object(constant, [Lc_s_347], subtype_indication(may_be_null,Character_15, no_constraint), Char__115_131),
  object(constant, [Lc_t_348], subtype_indication(may_be_null,Character_15, no_constraint), Char__116_132),
  object(constant, [Lc_u_349], subtype_indication(may_be_null,Character_15, no_constraint), Char__117_133),
  object(constant, [Lc_v_350], subtype_indication(may_be_null,Character_15, no_constraint), Char__118_134),
  object(constant, [Lc_w_351], subtype_indication(may_be_null,Character_15, no_constraint), Char__119_135),
  object(constant, [Lc_x_352], subtype_indication(may_be_null,Character_15, no_constraint), Char__120_136),
  object(constant, [Lc_y_353], subtype_indication(may_be_null,Character_15, no_constraint), Char__121_137),
  object(constant, [Lc_z_354], subtype_indication(may_be_null,Character_15, no_constraint), Char__122_138)])
, no_private
                     )
,
 type(String_355, no_discriminant, unconst_array, [range(Positive_6, box)], component_definition(not_aliased, subtype_indication(may_be_null,Character_15, no_constraint))),
pragma(pack, [String_355]),
 type(Wide_string_356, no_discriminant, unconst_array, [range(Positive_6, box)], component_definition(not_aliased, subtype_indication(may_be_null,Wide_character_272, no_constraint))),
pragma(pack, [Wide_string_356]),
 type(Wide_wide_string_357, no_discriminant, unconst_array, [range(Positive_6, box)], component_definition(not_aliased, subtype_indication(may_be_null,Wide_wide_character_273, no_constraint))),
pragma(pack, [Wide_wide_string_357]),
 type(Duration_358, no_discriminant, fixed, Float_12, delta(0.0000000010000, range([ - ((2.0000000000000 ** 63 - 1) * 0.0000000010000),  + ((2.0000000000000 ** 63 - 1) * 0.0000000010000)]))),
representation_clause(tic(Duration_358, small), 0.0000000010000),
exception_declaration([Constraint_error_359]),
exception_declaration([Program_error_360]),
exception_declaration([Storage_error_361]),
exception_declaration([Tasking_error_362]),
 rename_exception(Numeric_error_363, Constraint_error_359)])
, no_private
                     )
, nothing
,
package_specification(
 Example_364,
 local_decl([subprogram_declaration(nothing, 
procedure_body(
  Bar_365, no_return,
  parameters([])
)),
subprogram_declaration(nothing, 
procedure_body(
  Foo_366, no_return,
  parameters([param([A_367, B_368], in_out, subtype_indication(may_be_null,Integer_4, no_constraint), no_init)])
))])
, no_private
                     )
,
package_body(
  Example_364, local_decl([subprogram_body(nothing, 
procedure_body(
  Foo_366, no_return,
  parameters([param([A_367, B_368], in_out, subtype_indication(may_be_null,Integer_4, no_constraint), no_init)])
,
  local_decl([  object(not_qualified, [X_369], subtype_indication(may_be_null,Integer_4, no_constraint), 1),
   object(not_qualified, [Y_370], subtype_indication(may_be_null,Integer_4, no_constraint), 0)
            ]),body(
stmts([
              if_stmt([if_clause(bran(1, deci(1, cond(1, A_367 <> 0))),
              stmts([
              assign(Y_370, 3 + X_369)
                   ]))], 
              else(stmts([]))),
              if_stmt([if_clause(bran(2, deci(2, cond(2, B_368 = 0))),
              stmts([
              assign(X_369, 2 * (A_367 + B_368))
                   ]))], 
              else(stmts([]))),
              assign(A_367, 100 / rune(1, (X_369 - Y_370) = 0, (X_369 - Y_370)))
      ]),
  no_exceptions)

             ))
,
 subprogram_body(nothing, 
procedure_body(
  Bar_365, no_return,
  parameters([])
,
  local_decl([  object(not_qualified, [A_371], subtype_indication(may_be_null,Integer_4, no_constraint), 2),
   object(not_qualified, [B_372], subtype_indication(may_be_null,Integer_4, no_constraint), 0)
            ]),body(
stmts([
              procedure_call(indexed(Foo_366, [A_371, B_372]))
      ]),
  no_exceptions)

             ))
]),
empty_body)
,
mika_ref([
a(A_371, 'example.adb:16:9:a'),
a(B_372, 'example.adb:17:9:b'),
a(X_369, 'example.adb:3:9:x'),
a(Y_370, 'example.adb:4:9:y'),
a(Example_364, 'example.ads:1:9:example'),
a(Bar_365, 'example.ads:2:14:bar'),
a(Foo_366, 'example.ads:3:14:foo'),
a(A_367, 'example.ads:3:18:a'),
a(B_368, 'example.ads:3:22:b'),
a(Ack_22, 'standard.ads:ack'),
a(Ack_ascii_281, 'standard.ads:ack_ascii'),
a(Ampersand_314, 'standard.ads:ampersand'),
a(Apc_175, 'standard.ads:apc'),
a(Ascii_274, 'standard.ads:ascii'),
a(At_sign_318, 'standard.ads:at_sign'),
a(Back_slash_320, 'standard.ads:back_slash'),
a(Bar_326, 'standard.ads:bar'),
a(Bel_23, 'standard.ads:bel'),
a(Bel_ascii_282, 'standard.ads:bel_ascii'),
a(Boolean_1, 'standard.ads:boolean'),
a(Bph_146, 'standard.ads:bph'),
a(Bs_24, 'standard.ads:bs'),
a(Bs_ascii_283, 'standard.ads:bs_ascii'),
a(Can_40, 'standard.ads:can'),
a(Can_ascii_299, 'standard.ads:can_ascii'),
a(Cch_164, 'standard.ads:cch'),
a(Char__100_116, 'standard.ads:char__100'),
a(Char__101_117, 'standard.ads:char__101'),
a(Char__102_118, 'standard.ads:char__102'),
a(Char__103_119, 'standard.ads:char__103'),
a(Char__104_120, 'standard.ads:char__104'),
a(Char__105_121, 'standard.ads:char__105'),
a(Char__106_122, 'standard.ads:char__106'),
a(Char__107_123, 'standard.ads:char__107'),
a(Char__108_124, 'standard.ads:char__108'),
a(Char__109_125, 'standard.ads:char__109'),
a(Char__110_126, 'standard.ads:char__110'),
a(Char__111_127, 'standard.ads:char__111'),
a(Char__112_128, 'standard.ads:char__112'),
a(Char__113_129, 'standard.ads:char__113'),
a(Char__114_130, 'standard.ads:char__114'),
a(Char__115_131, 'standard.ads:char__115'),
a(Char__116_132, 'standard.ads:char__116'),
a(Char__117_133, 'standard.ads:char__117'),
a(Char__118_134, 'standard.ads:char__118'),
a(Char__119_135, 'standard.ads:char__119'),
a(Char__120_136, 'standard.ads:char__120'),
a(Char__121_137, 'standard.ads:char__121'),
a(Char__122_138, 'standard.ads:char__122'),
a(Char__123_139, 'standard.ads:char__123'),
a(Char__124_140, 'standard.ads:char__124'),
a(Char__125_141, 'standard.ads:char__125'),
a(Char__126_142, 'standard.ads:char__126'),
a(Char__160_176, 'standard.ads:char__160'),
a(Char__161_177, 'standard.ads:char__161'),
a(Char__162_178, 'standard.ads:char__162'),
a(Char__163_179, 'standard.ads:char__163'),
a(Char__164_180, 'standard.ads:char__164'),
a(Char__165_181, 'standard.ads:char__165'),
a(Char__166_182, 'standard.ads:char__166'),
a(Char__167_183, 'standard.ads:char__167'),
a(Char__168_184, 'standard.ads:char__168'),
a(Char__169_185, 'standard.ads:char__169'),
a(Char__170_186, 'standard.ads:char__170'),
a(Char__171_187, 'standard.ads:char__171'),
a(Char__172_188, 'standard.ads:char__172'),
a(Char__173_189, 'standard.ads:char__173'),
a(Char__174_190, 'standard.ads:char__174'),
a(Char__175_191, 'standard.ads:char__175'),
a(Char__176_192, 'standard.ads:char__176'),
a(Char__177_193, 'standard.ads:char__177'),
a(Char__178_194, 'standard.ads:char__178'),
a(Char__179_195, 'standard.ads:char__179'),
a(Char__180_196, 'standard.ads:char__180'),
a(Char__181_197, 'standard.ads:char__181'),
a(Char__182_198, 'standard.ads:char__182'),
a(Char__183_199, 'standard.ads:char__183'),
a(Char__184_200, 'standard.ads:char__184'),
a(Char__185_201, 'standard.ads:char__185'),
a(Char__186_202, 'standard.ads:char__186'),
a(Char__187_203, 'standard.ads:char__187'),
a(Char__188_204, 'standard.ads:char__188'),
a(Char__189_205, 'standard.ads:char__189'),
a(Char__190_206, 'standard.ads:char__190'),
a(Char__191_207, 'standard.ads:char__191'),
a(Char__192_208, 'standard.ads:char__192'),
a(Char__193_209, 'standard.ads:char__193'),
a(Char__194_210, 'standard.ads:char__194'),
a(Char__195_211, 'standard.ads:char__195'),
a(Char__196_212, 'standard.ads:char__196'),
a(Char__197_213, 'standard.ads:char__197'),
a(Char__198_214, 'standard.ads:char__198'),
a(Char__199_215, 'standard.ads:char__199'),
a(Char__200_216, 'standard.ads:char__200'),
a(Char__201_217, 'standard.ads:char__201'),
a(Char__202_218, 'standard.ads:char__202'),
a(Char__203_219, 'standard.ads:char__203'),
a(Char__204_220, 'standard.ads:char__204'),
a(Char__205_221, 'standard.ads:char__205'),
a(Char__206_222, 'standard.ads:char__206'),
a(Char__207_223, 'standard.ads:char__207'),
a(Char__208_224, 'standard.ads:char__208'),
a(Char__209_225, 'standard.ads:char__209'),
a(Char__210_226, 'standard.ads:char__210'),
a(Char__211_227, 'standard.ads:char__211'),
a(Char__212_228, 'standard.ads:char__212'),
a(Char__213_229, 'standard.ads:char__213'),
a(Char__214_230, 'standard.ads:char__214'),
a(Char__215_231, 'standard.ads:char__215'),
a(Char__216_232, 'standard.ads:char__216'),
a(Char__217_233, 'standard.ads:char__217'),
a(Char__218_234, 'standard.ads:char__218'),
a(Char__219_235, 'standard.ads:char__219'),
a(Char__220_236, 'standard.ads:char__220'),
a(Char__221_237, 'standard.ads:char__221'),
a(Char__222_238, 'standard.ads:char__222'),
a(Char__223_239, 'standard.ads:char__223'),
a(Char__224_240, 'standard.ads:char__224'),
a(Char__225_241, 'standard.ads:char__225'),
a(Char__226_242, 'standard.ads:char__226'),
a(Char__227_243, 'standard.ads:char__227'),
a(Char__228_244, 'standard.ads:char__228'),
a(Char__229_245, 'standard.ads:char__229'),
a(Char__230_246, 'standard.ads:char__230'),
a(Char__231_247, 'standard.ads:char__231'),
a(Char__232_248, 'standard.ads:char__232'),
a(Char__233_249, 'standard.ads:char__233'),
a(Char__234_250, 'standard.ads:char__234'),
a(Char__235_251, 'standard.ads:char__235'),
a(Char__236_252, 'standard.ads:char__236'),
a(Char__237_253, 'standard.ads:char__237'),
a(Char__238_254, 'standard.ads:char__238'),
a(Char__239_255, 'standard.ads:char__239'),
a(Char__240_256, 'standard.ads:char__240'),
a(Char__241_257, 'standard.ads:char__241'),
a(Char__242_258, 'standard.ads:char__242'),
a(Char__243_259, 'standard.ads:char__243'),
a(Char__244_260, 'standard.ads:char__244'),
a(Char__245_261, 'standard.ads:char__245'),
a(Char__246_262, 'standard.ads:char__246'),
a(Char__247_263, 'standard.ads:char__247'),
a(Char__248_264, 'standard.ads:char__248'),
a(Char__249_265, 'standard.ads:char__249'),
a(Char__250_266, 'standard.ads:char__250'),
a(Char__251_267, 'standard.ads:char__251'),
a(Char__252_268, 'standard.ads:char__252'),
a(Char__253_269, 'standard.ads:char__253'),
a(Char__254_270, 'standard.ads:char__254'),
a(Char__255_271, 'standard.ads:char__255'),
a(Char__32_48, 'standard.ads:char__32'),
a(Char__33_49, 'standard.ads:char__33'),
a(Char__34_50, 'standard.ads:char__34'),
a(Char__35_51, 'standard.ads:char__35'),
a(Char__36_52, 'standard.ads:char__36'),
a(Char__37_53, 'standard.ads:char__37'),
a(Char__38_54, 'standard.ads:char__38'),
a(Char__39_55, 'standard.ads:char__39'),
a(Char__40_56, 'standard.ads:char__40'),
a(Char__41_57, 'standard.ads:char__41'),
a(Char__42_58, 'standard.ads:char__42'),
a(Char__43_59, 'standard.ads:char__43'),
a(Char__44_60, 'standard.ads:char__44'),
a(Char__45_61, 'standard.ads:char__45'),
a(Char__46_62, 'standard.ads:char__46'),
a(Char__47_63, 'standard.ads:char__47'),
a(Char__48_64, 'standard.ads:char__48'),
a(Char__49_65, 'standard.ads:char__49'),
a(Char__50_66, 'standard.ads:char__50'),
a(Char__51_67, 'standard.ads:char__51'),
a(Char__52_68, 'standard.ads:char__52'),
a(Char__53_69, 'standard.ads:char__53'),
a(Char__54_70, 'standard.ads:char__54'),
a(Char__55_71, 'standard.ads:char__55'),
a(Char__56_72, 'standard.ads:char__56'),
a(Char__57_73, 'standard.ads:char__57'),
a(Char__58_74, 'standard.ads:char__58'),
a(Char__59_75, 'standard.ads:char__59'),
a(Char__60_76, 'standard.ads:char__60'),
a(Char__61_77, 'standard.ads:char__61'),
a(Char__62_78, 'standard.ads:char__62'),
a(Char__63_79, 'standard.ads:char__63'),
a(Char__64_80, 'standard.ads:char__64'),
a(Char__65_81, 'standard.ads:char__65'),
a(Char__66_82, 'standard.ads:char__66'),
a(Char__67_83, 'standard.ads:char__67'),
a(Char__68_84, 'standard.ads:char__68'),
a(Char__69_85, 'standard.ads:char__69'),
a(Char__70_86, 'standard.ads:char__70'),
a(Char__71_87, 'standard.ads:char__71'),
a(Char__72_88, 'standard.ads:char__72'),
a(Char__73_89, 'standard.ads:char__73'),
a(Char__74_90, 'standard.ads:char__74'),
a(Char__75_91, 'standard.ads:char__75'),
a(Char__76_92, 'standard.ads:char__76'),
a(Char__77_93, 'standard.ads:char__77'),
a(Char__78_94, 'standard.ads:char__78'),
a(Char__79_95, 'standard.ads:char__79'),
a(Char__80_96, 'standard.ads:char__80'),
a(Char__81_97, 'standard.ads:char__81'),
a(Char__82_98, 'standard.ads:char__82'),
a(Char__83_99, 'standard.ads:char__83'),
a(Char__84_100, 'standard.ads:char__84'),
a(Char__85_101, 'standard.ads:char__85'),
a(Char__86_102, 'standard.ads:char__86'),
a(Char__87_103, 'standard.ads:char__87'),
a(Char__88_104, 'standard.ads:char__88'),
a(Char__89_105, 'standard.ads:char__89'),
a(Char__90_106, 'standard.ads:char__90'),
a(Char__91_107, 'standard.ads:char__91'),
a(Char__92_108, 'standard.ads:char__92'),
a(Char__93_109, 'standard.ads:char__93'),
a(Char__94_110, 'standard.ads:char__94'),
a(Char__95_111, 'standard.ads:char__95'),
a(Char__96_112, 'standard.ads:char__96'),
a(Char__97_113, 'standard.ads:char__97'),
a(Char__98_114, 'standard.ads:char__98'),
a(Char__99_115, 'standard.ads:char__99'),
a(Character_15, 'standard.ads:character'),
a(Circumflex_322, 'standard.ads:circumflex'),
a(Colon_315, 'standard.ads:colon'),
a(Constraint_error_359, 'standard.ads:constraint_error'),
a(Cr_29, 'standard.ads:cr'),
a(Cr_ascii_288, 'standard.ads:cr_ascii'),
a(Csi_171, 'standard.ads:csi'),
a(Dc1_33, 'standard.ads:dc1'),
a(Dc1_ascii_292, 'standard.ads:dc1_ascii'),
a(Dc2_34, 'standard.ads:dc2'),
a(Dc2_ascii_293, 'standard.ads:dc2_ascii'),
a(Dc3_35, 'standard.ads:dc3'),
a(Dc3_ascii_294, 'standard.ads:dc3_ascii'),
a(Dc4_36, 'standard.ads:dc4'),
a(Dc4_ascii_295, 'standard.ads:dc4_ascii'),
a(Dcs_160, 'standard.ads:dcs'),
a(Del_143, 'standard.ads:del'),
a(Del_ascii_307, 'standard.ads:del_ascii'),
a(Dle_32, 'standard.ads:dle'),
a(Dle_ascii_291, 'standard.ads:dle_ascii'),
a(Dollar_312, 'standard.ads:dollar'),
a(Duration_358, 'standard.ads:duration'),
a(Em_41, 'standard.ads:em'),
a(Em_ascii_300, 'standard.ads:em_ascii'),
a(Enq_21, 'standard.ads:enq'),
a(Enq_ascii_280, 'standard.ads:enq_ascii'),
a(Eot_20, 'standard.ads:eot'),
a(Eot_ascii_279, 'standard.ads:eot_ascii'),
a(Epa_167, 'standard.ads:epa'),
a(Esa_151, 'standard.ads:esa'),
a(Esc_43, 'standard.ads:esc'),
a(Esc_ascii_302, 'standard.ads:esc_ascii'),
a(Etb_39, 'standard.ads:etb'),
a(Etb_ascii_298, 'standard.ads:etb_ascii'),
a(Etx_19, 'standard.ads:etx'),
a(Etx_ascii_278, 'standard.ads:etx_ascii'),
a(Exclam_309, 'standard.ads:exclam'),
a(False_2, 'standard.ads:false'),
a(Ff_28, 'standard.ads:ff'),
a(Ff_ascii_287, 'standard.ads:ff_ascii'),
a(Float_12, 'standard.ads:float'),
a(Fs_44, 'standard.ads:fs'),
a(Fs_ascii_303, 'standard.ads:fs_ascii'),
a(Grave_324, 'standard.ads:grave'),
a(Gs_45, 'standard.ads:gs'),
a(Gs_ascii_304, 'standard.ads:gs_ascii'),
a(Ht_25, 'standard.ads:ht'),
a(Ht_ascii_284, 'standard.ads:ht_ascii'),
a(Htj_153, 'standard.ads:htj'),
a(Hts_152, 'standard.ads:hts'),
a(Integer_4, 'standard.ads:integer'),
a(L_brace_325, 'standard.ads:l_brace'),
a(L_bracket_319, 'standard.ads:l_bracket'),
a(Lc_a_329, 'standard.ads:lc_a'),
a(Lc_b_330, 'standard.ads:lc_b'),
a(Lc_c_331, 'standard.ads:lc_c'),
a(Lc_d_332, 'standard.ads:lc_d'),
a(Lc_e_333, 'standard.ads:lc_e'),
a(Lc_f_334, 'standard.ads:lc_f'),
a(Lc_g_335, 'standard.ads:lc_g'),
a(Lc_h_336, 'standard.ads:lc_h'),
a(Lc_i_337, 'standard.ads:lc_i'),
a(Lc_j_338, 'standard.ads:lc_j'),
a(Lc_k_339, 'standard.ads:lc_k'),
a(Lc_l_340, 'standard.ads:lc_l'),
a(Lc_m_341, 'standard.ads:lc_m'),
a(Lc_n_342, 'standard.ads:lc_n'),
a(Lc_o_343, 'standard.ads:lc_o'),
a(Lc_p_344, 'standard.ads:lc_p'),
a(Lc_q_345, 'standard.ads:lc_q'),
a(Lc_r_346, 'standard.ads:lc_r'),
a(Lc_s_347, 'standard.ads:lc_s'),
a(Lc_t_348, 'standard.ads:lc_t'),
a(Lc_u_349, 'standard.ads:lc_u'),
a(Lc_v_350, 'standard.ads:lc_v'),
a(Lc_w_351, 'standard.ads:lc_w'),
a(Lc_x_352, 'standard.ads:lc_x'),
a(Lc_y_353, 'standard.ads:lc_y'),
a(Lc_z_354, 'standard.ads:lc_z'),
a(Lf_26, 'standard.ads:lf'),
a(Lf_ascii_285, 'standard.ads:lf_ascii'),
a(Long_float_13, 'standard.ads:long_float'),
a(Long_integer_9, 'standard.ads:long_integer'),
a(Long_long_float_14, 'standard.ads:long_long_float'),
a(Long_long_integer_10, 'standard.ads:long_long_integer'),
a(Mw_165, 'standard.ads:mw'),
a(Nak_37, 'standard.ads:nak'),
a(Nak_ascii_296, 'standard.ads:nak_ascii'),
a(Natural_5, 'standard.ads:natural'),
a(Nbh_147, 'standard.ads:nbh'),
a(Nel_149, 'standard.ads:nel'),
a(Nul_16, 'standard.ads:nul'),
a(Nul_ascii_275, 'standard.ads:nul_ascii'),
a(Numeric_error_363, 'standard.ads:numeric_error'),
a(Osc_173, 'standard.ads:osc'),
a(Percent_313, 'standard.ads:percent'),
a(Pld_155, 'standard.ads:pld'),
a(Plu_156, 'standard.ads:plu'),
a(Pm_174, 'standard.ads:pm'),
a(Positive_6, 'standard.ads:positive'),
a(Program_error_360, 'standard.ads:program_error'),
a(Pu1_161, 'standard.ads:pu1'),
a(Pu2_162, 'standard.ads:pu2'),
a(Query_317, 'standard.ads:query'),
a(Quotation_310, 'standard.ads:quotation'),
a(R_brace_327, 'standard.ads:r_brace'),
a(R_bracket_321, 'standard.ads:r_bracket'),
a(Reserved_128_144, 'standard.ads:reserved_128'),
a(Reserved_129_145, 'standard.ads:reserved_129'),
a(Reserved_132_148, 'standard.ads:reserved_132'),
a(Reserved_153_169, 'standard.ads:reserved_153'),
a(Ri_157, 'standard.ads:ri'),
a(Rs_46, 'standard.ads:rs'),
a(Rs_ascii_305, 'standard.ads:rs_ascii'),
a(Sci_170, 'standard.ads:sci'),
a(Semicolon_316, 'standard.ads:semicolon'),
a(Sharp_311, 'standard.ads:sharp'),
a(Short_float_11, 'standard.ads:short_float'),
a(Short_integer_8, 'standard.ads:short_integer'),
a(Short_short_integer_7, 'standard.ads:short_short_integer'),
a(Si_31, 'standard.ads:si'),
a(Si_ascii_290, 'standard.ads:si_ascii'),
a(So_30, 'standard.ads:so'),
a(So_ascii_289, 'standard.ads:so_ascii'),
a(Soh_17, 'standard.ads:soh'),
a(Soh_ascii_276, 'standard.ads:soh_ascii'),
a(Sos_168, 'standard.ads:sos'),
a(Spa_166, 'standard.ads:spa'),
a(Space_308, 'standard.ads:space'),
a(Ss2_158, 'standard.ads:ss2'),
a(Ss3_159, 'standard.ads:ss3'),
a(Ssa_150, 'standard.ads:ssa'),
a(St_172, 'standard.ads:st'),
a(Standard_0, 'standard.ads:standard'),
a(Storage_error_361, 'standard.ads:storage_error'),
a(String_355, 'standard.ads:string'),
a(Sts_163, 'standard.ads:sts'),
a(Stx_18, 'standard.ads:stx'),
a(Stx_ascii_277, 'standard.ads:stx_ascii'),
a(Sub_42, 'standard.ads:sub'),
a(Sub_ascii_301, 'standard.ads:sub_ascii'),
a(Syn_38, 'standard.ads:syn'),
a(Syn_ascii_297, 'standard.ads:syn_ascii'),
a(Tasking_error_362, 'standard.ads:tasking_error'),
a(Tilde_328, 'standard.ads:tilde'),
a(True_3, 'standard.ads:true'),
a(Underline_323, 'standard.ads:underline'),
a(Us_47, 'standard.ads:us'),
a(Us_ascii_306, 'standard.ads:us_ascii'),
a(Vt_27, 'standard.ads:vt'),
a(Vt_ascii_286, 'standard.ads:vt_ascii'),
a(Vts_154, 'standard.ads:vts'),
a(Wide_character_272, 'standard.ads:wide_character'),
a(Wide_string_356, 'standard.ads:wide_string'),
a(Wide_wide_character_273, 'standard.ads:wide_wide_character'),
a(Wide_wide_string_357, 'standard.ads:wide_wide_string')
])
]).
orig_dir('C:/Users/derry/Documents/GitHub/MikaRuntimeError/RuntimeErrors/').
install_dir('C:/Users/derry/AppData/Roaming/Midoan/Mika/bin/').
target_dir('C:/Users/derry/Documents/GitHub/MikaRuntimeError/RuntimeErrors/example_mika/').
%LIMITATIONS OF THE PARSING PHASE:
%    'atomic conditions not within a decision or a branch are not labeled'
%    in other words they are not considered as conditions at the moment
%    e.g. x := A  where A is a Boolean; or x := f(y,z); where f returns a Boolean
%OTHER REMARKS:
%    Redundancy could be greatly reduced in this file!!
%    file names could be referenced once and for all
cond(1, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 6, 14).
bran(1, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 6, 11).
deci(1, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 6, 11).
cond(2, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 9, 14).
bran(2, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 9, 11).
deci(2, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 9, 11).
rune(1, 'example', 'example', '.adb', 'C:\Users\derry\Documents\GitHub\MikaRuntimeError\RuntimeErrors', 12, 28).
