static u2_noun // transfer _seek_silk_yew(u2_wire wir_r, u2_noun van, // retain u2_noun syx, // retain u2_noun qq_tor) // retain { if ( u2_nul == qq_tor ) { return u2_nul; } else { u2_noun iqq_tor = u2_h(qq_tor); u2_noun qiqq_tor = u2_t(iqq_tor); u2_noun yon = _seek_silk_yew(wir_r, van, syx, u2_t(qq_tor)); if ( c3__yew != u2_h(qiqq_tor) ) { return yon; } else { u2_noun nuy = j2_mby(Pt6, look)(wir_r, syx, u2_t(qiqq_tor)); if ( u2_nul == nuy ) { return u2_bl_error(wir_r, "silk"); } else { yon = u2_bc(wir_r, u2_rx(wir_r, u2_t(nuy)), yon); u2_rz(wir_r, nuy); return yon; } } } }
static u2_noun // transfer _seek_silk(u2_wire wir_r, u2_noun van, // retain u2_noun syx, // retain u2_noun tor) // retain { u2_noun p_tor, q_tor, pq_tor, qq_tor; u2_noun hey, ret; u2_as_cell(tor, &p_tor, &q_tor); if ( u2_yes == u2_h(q_tor) ) { return u2_nul; } u2_as_cell(u2_t(q_tor), &pq_tor, &qq_tor); hey = _seek_silk_yew(wir_r, van, syx, qq_tor); if ( u2_nul == hey ) { return u2_nul; } if ( u2_ckb_lent(u2_rx(wir_r, hey)) != u2_ckb_lent(u2_rx(wir_r, qq_tor)) ) { return u2_bl_error(wir_r, "silk"); } ret = u2_bq (wir_r, u2_nul, u2_no, j2_mbc(Pt3, peg)(wir_r, pq_tor, _seek_silk_yaw(wir_r, hey)), _seek_silk_fum(wir_r, hey, qq_tor)); u2_rz(wir_r, hey); return ret; }
/* logic */ u2_noun // transfer j2_mcx(Pt6, ut, bust)(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun dib) // retain { u2_noun yam = j2_mcy(Pt6, ut, burn)(wir_r, van, sut); u2_noun yib = u2_bc (wir_r, u2_bc(wir_r, u2_rx(wir_r, u2_bi_h(wir_r, u2_bi_h(wir_r, yam))), u2_rx(wir_r, dib)), u2_rx(wir_r, u2_bi_t(wir_r, yam))); u2_noun woo = u2_bc(wir_r, c3__cnbc, u2_blip); u2_noun wox = j2_mcy(Pt6, ut, mint)(wir_r, van, sut, c3__noun, woo); u2_noun ret = u2_nk_nock(wir_r, yib, u2_t(wox)); if ( u2_none == ret ) { return u2_bl_error(wir_r, "bust-nock"); } u2_rz(wir_r, wox); u2_rz(wir_r, woo); u2_rz(wir_r, yam); return ret; }
static u2_noun _heal_by(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun qog, u2_noun ref) { u2_noun p_sut, q_sut; if ( u2_no == u2_dust(sut) ) { return u2_bl_error(wir_r, "heal-name"); } else switch ( u2_h(sut) ) { default: return u2_bl_error(wir_r, "heal-name"); case c3__core: { return u2_rx(wir_r, ref); } case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { if ( u2_yes == u2_sing(p_sut, u2_t(qog)) ) { return j2_mby(Pt6, face)(wir_r, p_sut, ref); } else return u2_bl_error(wir_r, "heal-name"); } case c3__fine: case c3__hold: { u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun ret = _heal_by(wir_r, van, rep, qog, ref); u2_rz(wir_r, rep); return ret; } case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun dis = _heal_by(wir_r, van, p_sut, qog, ref); u2_noun dat = _heal_by(wir_r, van, q_sut, qog, ref); u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat); u2_rl_lose(wir_r, dis); u2_rl_lose(wir_r, dat); return ret; } } }
/* u2_cm_foul(): */ u2_noun u2_cm_foul(const c3_c* err_c) { u2_cm_bean(u2_ci_string(err_c)); fprintf(stderr, "foul: %s\n", err_c); return u2_bl_error(u2_Wire, err_c); }
/* logic */ u2_noun // transfer j2_mcy(Pt6, ut, repo)(u2_wire wir_r, u2_noun van, // retain u2_noun sut) // retain { u2_noun p_sut, q_sut; if ( u2_no == u2_dust(sut) ) switch ( sut ) { default: return u2_rx(wir_r, sut); case c3__noun: return u2_bt(wir_r, c3__fork, u2_bc(wir_r, c3__atom, u2_blip), u2_bt(wir_r, c3__cell, c3__noun, c3__noun)); } else switch ( u2_h(sut) ) { default: { return u2_bl_error(wir_r, "repo-flat"); } case c3__bull: { if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) { return u2_bl_bail(wir_r, c3__fail); } else { return u2_rx(wir_r, q_sut); } } case c3__core: { if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut) ) { return u2_bl_bail(wir_r, c3__fail); } else { return u2_bt(wir_r, c3__cell, c3__noun, u2_rx(wir_r, p_sut)); } } case c3__cube: { if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) { return u2_bl_bail(wir_r, c3__fail); } else { return u2_rx(wir_r, q_sut); } } case c3__face: { if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) { return u2_bl_bail(wir_r, c3__fail); } else { return u2_rx(wir_r, q_sut); } } case c3__hold: { p_sut = u2_t(sut); return j2_mcy(Pt6, ut, rest)(wir_r, van, sut, p_sut); } } }
static u2_noun // retain _seek_silk_yaw(u2_noun wir_r, u2_noun hey) // retain { u2_atom axe = 0; while ( u2_nul != hey ) { if ( axe == 0 ) { axe = u2_h(u2_h(hey)); } else if ( axe != u2_h(u2_h(hey)) ) { return u2_bl_error(wir_r, "silk"); } hey = u2_t(hey); } }
static u2_noun // produce _mull_nice(u2_wire wir_r, u2_noun van, // retain u2_noun gol, // retain u2_noun typ) // submit { if ( u2_no == j2_mcy(Pt6, ut, nest)(wir_r, van, gol, u2_yes, typ) ) { u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "need", gol); u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "have", typ); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz)); return u2_bl_error(wir_r, "mull-nice"); } else return typ; }
static u2_noun // produce _mull_edit(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun dox, // retain u2_noun mew, // retain u2_noun p_yom, // submit u2_noun q_yom) // submit { while ( 1 ) { if ( u2_no == u2_dust(mew) ) { return u2_bc(wir_r, p_yom, q_yom); } else { u2_noun i_mew = u2_h(mew); u2_noun t_mew = u2_t(mew); u2_noun pi_mew = u2_h(i_mew); u2_noun qi_mew = u2_t(i_mew); u2_noun zil = _mull_in(wir_r, van, sut, c3__noun, dox, qi_mew); u2_noun p_zil = u2_h(zil); u2_noun q_zil = u2_t(zil); u2_noun cuf = j2_mcy(Pt6, ut, tock) (wir_r, van, sut, pi_mew, p_zil, p_yom); u2_noun dof = j2_mcy(Pt6, ut, tock) (wir_r, van, sut, pi_mew, q_zil, q_yom); u2_noun vov = u2_sing(u2_h(cuf), u2_h(dof)) ? u2_bl_error(wir_r, "mull-bonk-a") : 0; vov = vov; u2_rz(wir_r, p_yom); p_yom = u2_rx(wir_r, u2_t(cuf)); u2_rz(wir_r, q_yom); q_yom = u2_rx(wir_r, u2_t(dof)); u2_rz(wir_r, dof); u2_rz(wir_r, cuf); u2_rz(wir_r, zil); mew = t_mew; } } }
static u2_noun // produce _mint_coke(u2_wire wir_r, u2_noun nug) // submit { u2_atom axe; if ( 0 == u2_h(nug) ) { axe = u2_t(nug); } else if ( 10 == u2_h(nug) ) { u2_noun xin = u2_rx(wir_r, u2_t(u2_t(nug))); axe = _mint_coke(wir_r, xin); } else { return u2_bl_error(wir_r, "mint-coke"); } u2_rz(wir_r, nug); return axe; }
u2_noun // produce j2_mcx(Pt6, ut, rest)(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun leg) // retain { u2_noun fan = u2_frag(j2_ut_van_fan, van); if ( u2_yes == _rest_hit_fan(wir_r, fan, leg) ) { return u2_bl_error(wir_r, "rest-loop"); } else { u2_noun naf = j2_mcc(Pt4, in, gas)(wir_r, fan, leg); u2_noun nav = u2_bn_molt(wir_r, van, j2_ut_van_fan, naf, 0); u2_noun mez = _rest_in(wir_r, nav, leg); u2_rz(wir_r, naf); u2_rz(wir_r, nav); return mez; } }
static u2_flag _nest_dext_to(u2_wire wir_r, u2_noun van, u2_noun sut, u2_flag tel, u2_noun ref, u2_noun gil) { u2_flag tyn = _nest_dext_in(wir_r, van, sut, tel, ref, gil); if ( (u2_yes == tyn) || (u2_no == tel) ) { return tyn; } else { u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "need", sut); u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "have", ref); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz)); return u2_bl_error(wir_r, "nest-fail"); } }
/* logic */ u2_noun // transfer j2_mcx(Pt6, ut, fink)(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun dep, // retain u2_noun way, // retain u2_noun cog) // retain { // u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut); u2_noun nuc = (u2_blip == cog) ? j2_mcy(Pt6, ut, shew) (wir_r, van, u2_bc (wir_r, u2_bc(wir_r, 'c', u2_bn_string(wir_r, "find-limb")), 9509)) : j2_mcy(Pt6, ut, shep) (wir_r, van, "find-limb", 'a', u2_rx(wir_r, cog)); u2_noun pro; // u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, nuc)); { u2_noun hoq = j2_mcy(Pt6, ut, find)(wir_r, van, sut, dep, way, cog); u2_noun fin = u2_t(hoq); if ( u2_nul == fin ) { return u2_bl_error(wir_r, "find-none"); } else { pro = u2_rx(wir_r, u2_t(fin)); u2_rl_lose(wir_r, hoq); } } // u2_bl_drop(wir_r); u2_bl_drop(wir_r); return pro; }
static u2_noun _fuse_in(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun ref, u2_noun bix) { u2_noun p_sut, q_sut, r_sut; if ( u2_yes == u2_sing(sut, ref) || (c3__noun == ref) ) { return u2_rx(wir_r, sut); } if ( u2_no == u2_dust(sut) ) switch ( sut ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__noun: { return u2_rx(wir_r, ref); } case c3__void: { return c3__void; } } else switch ( u2_h(sut) ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__atom: { if ( u2_yes == u2_dust(ref) ) { if ( c3__atom == u2_h(ref) ) { if ( u2_yes == _fuse_fitz(wir_r, u2_t(ref), u2_t(sut)) ) { return u2_rx(wir_r, sut); } else return u2_rx(wir_r, ref); } else if ( c3__cell == u2_h(ref) ) { return c3__void; } } return _fuse_in(wir_r, van, ref, sut, bix); } case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun p_ref, q_ref; if ( u2_yes == u2_as_pq(ref, c3__cell, &p_ref, &q_ref) ) { u2_noun hed = _fuse_in(wir_r, van, p_sut, p_ref, bix); u2_noun tal = _fuse_in(wir_r, van, q_sut, q_ref, bix); u2_noun ret = j2_mby(Pt6, cell)(wir_r, hed, tal); u2_rl_lose(wir_r, hed); u2_rl_lose(wir_r, tal); return ret; } else return _fuse_in(wir_r, van, ref, sut, bix); } case c3__core: { return _fuse_repo(wir_r, van, sut, ref, bix); } case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun foz = _fuse_in(wir_r, van, q_sut, ref, bix); u2_noun ret; if ( u2_no == j2_mcy(Pt6, ut, firm)(wir_r, van, foz, p_sut) ) { ret = c3__void; } else { ret = j2_mby(Pt6, cube)(wir_r, p_sut, foz); } u2_rz(wir_r, foz); return ret; } case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun vot = _fuse_in(wir_r, van, q_sut, ref, bix); u2_noun ret = j2_mby(Pt6, face)(wir_r, p_sut, vot); u2_rl_lose(wir_r, vot); return ret; } case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut); { u2_noun vot = _fuse_in(wir_r, van, r_sut, ref, bix); u2_noun ret = j2_mby(Pt6, fine)(wir_r, p_sut, q_sut, vot); u2_rz(wir_r, vot); return ret; } case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun dis = _fuse_in(wir_r, van, p_sut, ref, bix); u2_noun dat = _fuse_in(wir_r, van, q_sut, ref, bix); u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat); u2_rl_lose(wir_r, dis); u2_rl_lose(wir_r, dat); return ret; } case c3__hold: p_sut = u2_t(sut); { u2_noun hud = u2_bc(wir_r, u2_rx(wir_r, sut), u2_rx(wir_r, ref)); if ( u2_yes == j2_mcc(Pt4, in, has)(wir_r, bix, hud) ) { u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut); u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "over", ref); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz)); return u2_bl_error(wir_r, "fuse-loop"); } else { u2_noun bux = j2_mcc(Pt4, in, put)(wir_r, bix, hud); u2_noun ret = _fuse_repo(wir_r, van, sut, ref, bux); u2_rz(wir_r, hud); u2_rz(wir_r, bux); return ret; } } } }
static u2_noun // produce _mint_in(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun gol, // retain u2_noun gen) // retain { u2_noun p_gen, q_gen, r_gen; u2_noun ret; if ( (c3__void == sut) && !((u2_yes == u2_dust(gen)) && (c3__zpcb == u2_h(gen))) ) { if ( (u2_no == _mint_vet(wir_r, van)) || ((u2_yes == u2_dust(gen)) && ((c3__zpfs == u2_h(gen)) || (c3__zpzp == u2_h(gen)))) ) { return u2_bt(wir_r, c3__void, _0, _0); } else { return u2_bl_error(wir_r, "mint-vain"); } } if ( u2_no == u2_dust(gen) ) { u2_noun ter = u2_frag(u2_cw_con_2, van); u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen); ret = _mint_in(wir_r, van, sut, gol, rex); u2_rl_lose(wir_r, rex); return ret; } else if ( u2_yes == u2_dust(u2_h(gen)) ) { _mint_used(wir_r); { u2_noun hed = _mint_in(wir_r, van, sut, c3__noun, u2_h(gen)); u2_noun tal = _mint_in(wir_r, van, sut, c3__noun, u2_t(gen)); u2_noun typ = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal)); ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, typ), j2_mby(Pt6, cons)(wir_r, u2_t(hed), u2_t(tal))); u2_rl_lose(wir_r, hed); u2_rl_lose(wir_r, tal); return ret; } } else switch ( u2_h(gen) ) { default: { u2_noun ter = u2_frag(u2_cw_con_2, van); u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen); if ( u2_yes == u2_sing(rex, gen) ) { #if 1 u2_noun zix = j2_mcy(Pt6, ut, shep) (wir_r, van, "gene", 'q', u2_rx(wir_r, gen)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix)); return u2_bl_error(wir_r, "mint-open"); #else u2_err(wir_r, "h", u2_h(gen)); return u2_bl_bail(wir_r, c3__fail); #endif } ret = _mint_in(wir_r, van, sut, gol, rex); u2_rl_lose(wir_r, rex); return ret; } case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun vol = _mint_corn(wir_r, van, sut, q_gen); u2_noun axe = _mint_coke(wir_r, vol); u2_noun wam = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, _mint_flag(wir_r)), j2_mcy(Pt6, ut, fish)(wir_r, van, wam, axe)); u2_rl_lose(wir_r, axe); u2_rl_lose(wir_r, wam); return ret; } case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen); _mint_used(wir_r); { u2_noun bol = _mint_flag(wir_r); u2_noun nor = _mint_in(wir_r, van, sut, bol, p_gen); u2_noun fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen); u2_noun wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen); u2_noun duy = (c3__void == fex) ? ( (c3__void == wux) ? u2_bc(wir_r, _0, _0) : u2_bc(wir_r, _1, _1) ) : ( (c3__void == wux) ? u2_bc(wir_r, _1, _0) : u2_rx(wir_r, u2_t(nor)) ); u2_noun hiq = _mint_in(wir_r, van, fex, gol, q_gen); u2_noun ran = _mint_in(wir_r, van, wux, gol, r_gen); ret = u2_bc (wir_r, j2_mby(Pt6, fork)(wir_r, u2_h(hiq), u2_h(ran)), _mint_cond(wir_r, duy, u2_rx(wir_r, u2_t(hiq)), u2_rx(wir_r, u2_t(ran)))); u2_rl_lose(wir_r, ran); u2_rl_lose(wir_r, hiq); u2_rl_lose(wir_r, nor); u2_rl_lose(wir_r, wux); u2_rl_lose(wir_r, fex); u2_rl_lose(wir_r, bol); return ret; } case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun hed = _mint_in(wir_r, van, sut, c3__noun, p_gen); u2_noun tal = _mint_in(wir_r, van, sut, c3__noun, q_gen); u2_noun typ = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal)); ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, typ), j2_mby(Pt6, cons)(wir_r, u2_t(hed), u2_t(tal))); u2_rl_lose(wir_r, hed); u2_rl_lose(wir_r, tal); return ret; } case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun typ = _mint_nice(wir_r, van, gol, _mint_flag(wir_r)); return u2_bc (wir_r, typ, u2_bt(wir_r, _5, _mint_corn(wir_r, van, sut, p_gen), _mint_corn(wir_r, van, sut, q_gen))); } case c3__dtwt: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun typ = _mint_nice(wir_r, van, gol, _mint_flag(wir_r)); return u2_bc (wir_r, typ, u2_bc(wir_r, _3, _mint_corn(wir_r, van, sut, p_gen))); } case c3__dtkt: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun tom = c3__noun; u2_noun sam = _mint_in(wir_r, van, sut, tom, p_gen); ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, tom), u2_bc(wir_r, _11, u2_rx(wir_r, u2_t(sam)))); u2_rz(wir_r, sam); return ret; } case c3__dtls: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun tom = u2_bc(wir_r, c3__atom, u2_blip); u2_noun sam = _mint_in(wir_r, van, sut, tom, p_gen); ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, tom), u2_bc(wir_r, _4, u2_rx(wir_r, u2_t(sam)))); u2_rz(wir_r, sam); return ret; } case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun boc = (u2_no == u2_stud(q_gen)) ? c3__noun : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen)); u2_noun typ = j2_mby(Pt6, cube)(wir_r, q_gen, boc); u2_noun ret = u2_bc(wir_r, _mint_nice(wir_r, van, gol, typ), u2_bc(wir_r, _1, u2_rx(wir_r, q_gen))); u2_rz(wir_r, boc); return ret; } case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { return u2_bc (wir_r, _mint_nice(wir_r, van, gol, c3__noun), u2_bt(wir_r, _2, _mint_corn(wir_r, van, sut, p_gen), _mint_corn(wir_r, van, sut, q_gen))); } case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun typ = j2_mcy(Pt6, ut, play)(wir_r, van, sut, gen); u2_noun ret = u2_bc(wir_r, _mint_nice(wir_r, van, gol, typ), u2_bc(wir_r, _1, u2_rx(wir_r, q_gen))); return ret; } case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun wit = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun nep = j2_mcy(Pt6, ut, snap)(wir_r, van, wit, q_gen); u2_noun ret = _mint_in(wir_r, van, sut, gol, nep); u2_rz(wir_r, nep); u2_rz(wir_r, wit); return ret; } case c3__ktbr: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen); u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__iron); u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd))); u2_rz(wir_r, ryd); return pro; } case c3__ktpm: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen); u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__zinc); u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd))); u2_rz(wir_r, ryd); return pro; } case c3__ktwt: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen); u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__lead); u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd))); u2_rz(wir_r, ryd); return pro; } case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun vat = _mint_in(wir_r, van, sut, gol, q_gen); ret = u2_bc (wir_r, u2_bt(wir_r, c3__face, u2_rx(wir_r, p_gen), u2_rx(wir_r, u2_h(vat))), u2_rx(wir_r, u2_t(vat))); u2_rl_lose(wir_r, vat); return ret; } case c3__ktsg: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun nef = _mint_in(wir_r, van, sut, gol, p_gen); u2_noun p_nef = u2_h(nef); u2_noun q_nef = u2_t(nef); u2_noun fom; { u2_noun cag = j2_mcy(Pt6, ut, burn)(wir_r, van, sut); u2_noun wim = u2_cn_moch(cag, u2k(q_nef)); if ( 0 == u2h(wim) ) { fom = u2nc(1, u2k(u2t(wim))); } else { fom = u2k(q_nef); } u2z(wim); } ret = u2_bc(wir_r, u2_rx(wir_r, p_nef), fom); u2_rz(wir_r, nef); return ret; } case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun hif = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun zel = _mint_in(wir_r, van, sut, hif, q_gen); u2_noun ret = u2_bc(wir_r, hif, u2_rx(wir_r, u2_t(zel))); u2_rz(wir_r, zel); return ret; } case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun fid = _mint_in(wir_r, van, sut, c3__noun, p_gen); u2_noun p_fid = u2_h(fid); u2_noun q_fid = u2_t(fid); u2_noun dov = _mint_in(wir_r, van, p_fid, gol, q_gen); u2_noun p_dov = u2_h(dov); u2_noun q_dov = u2_t(dov); ret = u2_bc (wir_r, u2_rx(wir_r, p_dov), j2_mbc(Pt6, comb)(wir_r, q_fid, q_dov)); u2_rl_lose(wir_r, fid); u2_rl_lose(wir_r, dov); return ret; } case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen); u2_noun lar = _mint_foil(wir_r, sec); u2_noun p_lar = u2_h(lar); u2_noun q_lar = u2_t(lar); u2_noun pq_lar = u2_h(q_lar); u2_noun qq_lar = u2_t(q_lar); u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, qq_lar, q_gen); u2_noun yom = _mint_edit (wir_r, van, sut, mew, p_lar, u2_rx(wir_r, qq_lar), u2_nul); u2_noun p_yom = u2_h(yom); u2_noun q_yom = u2_t(yom); u2_noun ret = u2_bc (wir_r, _mint_nice(wir_r, van, gol, u2_rx(wir_r, p_yom)), (_0 == pq_lar) ? u2_rx(wir_r, q_yom) : u2_bt(wir_r, _9, u2_rx(wir_r, pq_lar), u2_rx(wir_r, q_yom))); u2_rz(wir_r, yom); u2_rz(wir_r, mew); u2_rz(wir_r, lar); return ret; } case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _mint_grow(wir_r, van, sut, gol, c3__zinc, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__brcn: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); ret = _mint_grow(wir_r, van, sut, gol, c3__gold, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmcn: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); ret = _mint_grow(wir_r, van, sut, gol, c3__lead, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _mint_grow(wir_r, van, sut, gol, c3__iron, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun hum = _mint_in(wir_r, van, sut, gol, q_gen); u2_noun bez; if ( u2_yes == u2_stud(p_gen) ) { bez = u2_rx(wir_r, p_gen); } else { bez = u2_bc(wir_r, u2_rx(wir_r, u2_h(p_gen)), _mint_corn(wir_r, van, sut, u2_t(p_gen))); } ret = u2_bc(wir_r, u2_rx(wir_r, u2_h(hum)), u2_bt(wir_r, _10, bez, u2_rx(wir_r, u2_t(hum)))); u2_rl_lose(wir_r, hum); return ret; } case c3__zpts: p_gen = u2_t(gen); _mint_used(wir_r); { u2_noun von = u2_bn_molt(wir_r, van, j2_ut_van_vet, u2_no, 0); u2_noun sev = _mint_corn(wir_r, von, sut, p_gen); u2_rz(wir_r, von); return u2_bc(wir_r, c3__noun, u2_bc(wir_r, _1, sev)); } case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { return u2_bc (wir_r, _mint_nice(wir_r, van, gol, j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen)), u2_bc(wir_r, 1, u2_rx(wir_r, q_gen))); } case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); { u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _mint_loc(wir_r, van, p_gen))); { u2_noun hum = _mint_in(wir_r, van, sut, gol, q_gen); u2_noun bez = u2_bt(wir_r, c3__spot, _1, u2_rx(wir_r, p_gen)); ret = u2_bc(wir_r, u2_rx(wir_r, u2_h(hum)), u2_bt(wir_r, _10, bez, u2_rx(wir_r, u2_t(hum)))); u2_rz(wir_r, hum); } u2_bl_drop(wir_r); return ret; } case c3__zpcn: _mint_used(wir_r); { u2_noun pet = u2_bn_hook(wir_r, van, "seed"); u2_noun p_pet = u2_h(pet); u2_noun q_pet = u2_t(pet); u2_noun ret; ret = u2_bc(wir_r, _mint_nice(wir_r, van, gol, u2_rx(wir_r, p_pet)), u2_bc(wir_r, _1, u2_rx(wir_r, q_pet))); u2_rz(wir_r, pet); return ret; } case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mint_used(wir_r); { u2_noun vos = _mint_in(wir_r, van, sut, c3__noun, q_gen); u2_noun zur = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun p_vos = u2_h(vos); u2_noun q_vos = u2_t(vos); u2_noun waz = u2_bc(wir_r, _1, u2_rx(wir_r, p_vos)); u2_noun cig = j2_mby(Pt6, cell)(wir_r, zur, p_vos); u2_noun ret; ret = u2_bc(wir_r, _mint_nice(wir_r, van, gol, cig), j2_mby(Pt6, cons)(wir_r, waz, q_vos)); u2_rz(wir_r, waz); u2_rz(wir_r, zur); u2_rz(wir_r, vos); return ret; } case c3__zpfs: p_gen = u2_t(gen); _mint_used(wir_r); { if ( u2_yes == _mint_vet(wir_r, van) ) { u2_noun zur = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "lost", zur); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); return u2_bl_error(wir_r, "mint-lost"); } else { return u2_bt(wir_r, c3__void, _0, _0); } } case c3__zpzp: _mint_used(wir_r); { return u2_bt(wir_r, c3__void, _0, _0); } } }
/* logic */ u2_noun // transfer j2_mcx(Pt6, ut, firm)(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun dib) // retain { u2_noun p_sut, q_sut, r_sut; if ( u2_no == u2_dust(sut) ) switch ( sut ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__noun: { return u2_yes; } case c3__void: { return u2_no; } } else switch ( u2_h(sut) ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__atom: p_sut = u2_t(sut); { return u2_stud(dib); } case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return u2_and (u2_dust(dib), u2_and(j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, u2_h(dib)), j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, u2_t(dib)))); } case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun pq_sut, qq_sut, rq_sut, prq_sut, qrq_sut; u2_bi_trel(wir_r, q_sut, &pq_sut, &qq_sut, &rq_sut); u2_bi_cell(wir_r, rq_sut, &prq_sut, &qrq_sut); return u2_and (u2_dust(dib), u2_and (j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, u2_h(dib)), ((u2_nul == prq_sut) ? u2_bl_error(wir_r, "firm-core") : u2_sing(prq_sut, u2_t(dib))))); } case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return u2_sing(dib, p_sut); } case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, dib); } case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut); { if ( u2_no == j2_mcx(Pt6, ut, firm)(wir_r, van, r_sut, dib) ) { return u2_no; } else { u2_noun feg = j2_mcy(Pt6, ut, bust)(wir_r, van, q_sut, dib); u2_flag ret; switch ( p_sut ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__pure: ret = u2_sing(dib, feg); case c3__very: ret = u2_sing(u2_yes, feg); } u2_rz(wir_r, feg); return ret; } } case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return u2_or(j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, dib), j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, dib)); } case c3__hold: { u2_noun goy = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun ret = j2_mcx(Pt6, ut, firm)(wir_r, van, goy, dib); u2_rz(wir_r, goy); return ret; } } }
static u2_noun _play_in(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun gen) { u2_noun p_gen, q_gen, r_gen; if ( u2_no == u2_dust(gen) ) { open: { u2_noun ter = u2_frag(u2_cv_con_3, van); u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen); u2_noun ret; if ( u2_yes == u2_sing(rex, gen) ) { u2_noun zix = j2_mcy(Pt6, ut, shep) (wir_r, van, "gene", 'q', u2_rx(wir_r, gen)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix)); return u2_bl_error(wir_r, "play-open"); } ret = _play_in(wir_r, van, sut, rex); u2_rl_lose(wir_r, rex); return ret; } } else if ( u2_yes == u2_dust(u2_h(gen)) ) { _play_used(wir_r); { u2_noun dis = _play_in(wir_r, van, sut, u2_h(gen)); u2_noun dat = _play_in(wir_r, van, sut, u2_t(gen)); u2_noun ret = j2_mby(Pt6, cell)(wir_r, dis, dat); u2_rz(wir_r, dis); u2_rz(wir_r, dat); return ret; } } else switch ( u2_h(gen) ) { default: goto open; case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return _play_bean(wir_r); } case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen); _play_used(wir_r); { u2_noun fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen); u2_noun wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen); u2_noun dez = (fex == c3__void) ? c3__void : _play_in(wir_r, van, fex, q_gen); u2_noun doz = (wux == c3__void) ? c3__void : _play_in(wir_r, van, wux, r_gen); u2_noun ret = j2_mby(Pt6, fork)(wir_r, dez, doz); u2_rz(wir_r, dez); u2_rz(wir_r, doz); u2_rz(wir_r, fex); u2_rz(wir_r, wux); return ret; } case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun dis = _play_in(wir_r, van, sut, p_gen); u2_noun dat = _play_in(wir_r, van, sut, q_gen); u2_noun ret = j2_mby(Pt6, cell)(wir_r, dis, dat); u2_rz(wir_r, dis); u2_rz(wir_r, dat); return ret; } case c3__dtkt: p_gen = u2_t(gen); _play_used(wir_r); { return c3__noun; } case c3__dtwt: p_gen = u2_t(gen); _play_used(wir_r); { return _play_bean(wir_r); } case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return _play_bean(wir_r); } case c3__dtls: p_gen = u2_t(gen); _play_used(wir_r); { return u2_bc(wir_r, c3__atom, u2_blip); } case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun boc = (u2_no == u2_stud(q_gen)) ? c3__noun : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen)); u2_noun ret = j2_mby(Pt6, cube)(wir_r, q_gen, boc); u2_rz(wir_r, boc); return ret; } case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return c3__noun; } case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { if ( 'f' == p_gen ) { if ( (q_gen > 1) ) { return u2_cm_bail(c3__exit); } else { return _play_bean(wir_r); } } else return u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen)); } case c3__ktbr: p_gen = u2_t(gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, p_gen); u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__iron); u2_rz(wir_r, boc); return pro; } case c3__ktpm: p_gen = u2_t(gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, p_gen); u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__zinc); u2_rz(wir_r, boc); return pro; } case c3__ktwt: p_gen = u2_t(gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, p_gen); u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__lead); u2_rz(wir_r, boc); return pro; } case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, q_gen); u2_noun ret = j2_mby(Pt6, face)(wir_r, p_gen, boc); u2_rz(wir_r, boc); return ret; } case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, p_gen); u2_noun hef = j2_mcy(Pt6, ut, snap)(wir_r, van, boc, q_gen); u2_noun ret = _play_in(wir_r, van, sut, hef); u2_rz(wir_r, boc); u2_rz(wir_r, hef); return ret; } case c3__ktsg: p_gen = u2_t(gen); _play_used(wir_r); { return _play_in(wir_r, van, sut, p_gen); } case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return _play_in(wir_r, van, sut, p_gen); } case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun boc = _play_in(wir_r, van, sut, p_gen); u2_noun ret = _play_in(wir_r, van, boc, q_gen); u2_rz(wir_r, boc); return ret; } case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen); u2_noun lar = _play_foil(wir_r, sec); u2_noun q_lar = u2_t(lar); u2_noun qq_lar = u2_t(q_lar); u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, q_gen); u2_noun rag = _play_edit(wir_r, van, sut, mew, u2_rx(wir_r, qq_lar)); u2_noun ret = j2_mcy(Pt6, ut, fire)(wir_r, van, sut, rag); u2_rz(wir_r, rag); u2_rz(wir_r, mew); u2_rz(wir_r, lar); return ret; } case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _play_grow(wir_r, van, sut, c3__zinc, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__brcn: p_gen = u2_t(gen); _play_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); u2_noun ret = _play_grow(wir_r, van, sut, c3__gold, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmcn: p_gen = u2_t(gen); _play_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); u2_noun ret = _play_grow(wir_r, van, sut, c3__lead, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _play_grow(wir_r, van, sut, c3__iron, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return _play_in(wir_r, van, sut, q_gen); } case c3__zpts: p_gen = u2_t(gen); _play_used(wir_r); { return c3__noun; } case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { return _play_in(wir_r, van, sut, p_gen); } case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); { u2_noun ret; u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _play_loc(wir_r, van, p_gen))); { ret = _play_in(wir_r, van, sut, q_gen); } u2_bl_drop(wir_r); return ret; } case c3__zpcn: _play_used(wir_r); { u2_noun pet = u2_bn_hook(wir_r, van, "seed"); u2_noun ret = u2_rx(wir_r, u2_h(pet)); u2_rz(wir_r, pet); return ret; } case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _play_used(wir_r); { u2_noun zur = _play_in(wir_r, van, sut, p_gen); u2_noun vos = _play_in(wir_r, van, sut, q_gen); u2_noun ret = j2_mby(Pt6, cell)(wir_r, zur, vos); u2_rz(wir_r, zur); u2_rz(wir_r, vos); return ret; } case c3__zpfs: case c3__zpzp: _play_used(wir_r); { return c3__void; } } }
static u2_noun // produce _mull_in(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun gol, // retain u2_noun dox, // retain u2_noun gen) // retain { u2_noun p_gen, q_gen, r_gen; u2_noun ret; if ( u2_no == u2_dust(gen) ) { u2_noun ter = u2_frag(u2_cw_con_2, van); u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen); ret = _mull_in(wir_r, van, sut, gol, dox, rex); u2_rl_lose(wir_r, rex); return ret; } else if ( u2_yes == u2_dust(u2_h(gen)) ) { _mull_used(wir_r); { u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, u2_h(gen)); u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, u2_t(gen)); u2_noun dis = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal)); u2_noun dat = j2_mby(Pt6, cell)(wir_r, u2_t(hed), u2_t(tal)); u2_noun ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat); u2_rz(wir_r, tal); u2_rz(wir_r, hed); return ret; } } else switch ( u2_h(gen) ) { default: { u2_noun ter = u2_frag(u2_cw_con_2, van); u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen); if ( u2_yes == u2_sing(rex, gen) ) { #if 1 u2_noun zix = j2_mcy(Pt6, ut, shep) (wir_r, van, "gene", 'q', u2_rx(wir_r, gen)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix)); return u2_bl_error(wir_r, "mull-open"); #else u2_err(wir_r, "h", u2_h(gen)); return u2_bl_bail(wir_r, c3__fail); #endif } ret = _mull_in(wir_r, van, sut, gol, dox, rex); u2_rl_lose(wir_r, rex); return ret; } case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun p_waz = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun q_waz = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen); u2_noun p_syx = _mull_doke(wir_r, van, sut, q_gen); u2_noun q_syx = _mull_doke(wir_r, van, dox, q_gen); u2_noun p_pov = j2_mcy(Pt6, ut, fish)(wir_r, van, p_waz, p_syx); u2_noun q_pov = j2_mcy(Pt6, ut, fish)(wir_r, van, q_waz, q_syx); if ( (u2_no == u2_sing(p_syx, q_syx)) || (u2_no == u2_sing(p_pov, q_pov)) ) { return u2_bl_error(wir_r, "mull-bonk-b"); } u2_rz(wir_r, p_waz); u2_rz(wir_r, q_waz); u2_rz(wir_r, p_syx); u2_rz(wir_r, q_syx); u2_rz(wir_r, p_pov); u2_rz(wir_r, q_pov); return _mull_both(wir_r, van, gol, _mull_flag(wir_r)); } case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen); _mull_used(wir_r); { u2_noun bol = _mull_flag(wir_r); u2_noun nor = _mull_in(wir_r, van, sut, bol, dox, p_gen); u2_noun p_fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen); u2_noun q_fex = j2_mcy(Pt6, ut, gain)(wir_r, van, dox, p_gen); u2_noun p_wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen); u2_noun q_wux = j2_mcy(Pt6, ut, lose)(wir_r, van, dox, p_gen); u2_noun hiq, ran; u2_noun dis, dat; u2_noun ret; if ( c3__void == p_fex ) { hiq = u2_bc(wir_r, c3__void, (c3__void == q_fex) ? c3__void : j2_mcy(Pt6, ut, play)(wir_r, van, q_fex, q_gen)); } else if ( c3__void == q_fex ) { hiq = u2_bl_error(wir_r, "mull-bonk-c"); } else hiq = _mull_in(wir_r, van, p_fex, gol, q_fex, q_gen); if ( c3__void == p_wux ) { ran = u2_bc(wir_r, c3__void, (c3__void == q_wux) ? c3__void : j2_mcy(Pt6, ut, play)(wir_r, van, q_wux, r_gen)); } else if ( c3__void == q_wux ) { ran = u2_bl_error(wir_r, "mull-bonk-d"); } else ran = _mull_in(wir_r, van, p_wux, gol, q_wux, r_gen); dis = j2_mby(Pt6, fork)(wir_r, u2_h(hiq), u2_h(ran)); dat = j2_mby(Pt6, fork)(wir_r, u2_t(hiq), u2_t(ran)); ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat); u2_rz(wir_r, ran); u2_rz(wir_r, hiq); u2_rz(wir_r, q_wux); u2_rz(wir_r, p_wux); u2_rz(wir_r, q_fex); u2_rz(wir_r, p_fex); u2_rz(wir_r, nor); u2_rz(wir_r, bol); return ret; } case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen); u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen); u2_noun dis = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal)); u2_noun dat = j2_mby(Pt6, cell)(wir_r, u2_t(hed), u2_t(tal)); u2_noun ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat); u2_rz(wir_r, tal); u2_rz(wir_r, hed); return ret; } case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen); u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen); u2_rz(wir_r, hed); u2_rz(wir_r, tal); return _mull_both(wir_r, van, gol, _mull_flag(wir_r)); } case c3__dtwt: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun vay = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen); u2_rz(wir_r, vay); return _mull_both(wir_r, van, gol, _mull_flag(wir_r)); } case c3__dtkt: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun wuq = c3__noun; u2_noun vay = _mull_in(wir_r, van, sut, wuq, dox, p_gen); u2_rz(wir_r, vay); return _mull_both(wir_r, van, gol, wuq); } case c3__dtls: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun wuq = u2_bc(wir_r, c3__atom, u2_blip); u2_noun vay = _mull_in(wir_r, van, sut, wuq, dox, p_gen); u2_rz(wir_r, vay); return _mull_both(wir_r, van, gol, wuq); } case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun tof = u2_bt (wir_r, c3__cube, u2_rx(wir_r, q_gen), (u2_yes == u2_dust(q_gen)) ? c3__noun : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen))); return _mull_both(wir_r, van, gol, tof); } case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen); u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen); u2_rz(wir_r, hed); u2_rz(wir_r, tal); return _mull_both(wir_r, van, gol, c3__noun); } case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun typ = j2_mcy(Pt6, ut, play)(wir_r, van, sut, gen); return _mull_both(wir_r, van, gol, typ); } case c3__ktgl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun hoz = j2_mcy(Pt6, ap, late)(wir_r, gen); u2_noun ryd = _mull_in(wir_r, van, sut, c3__noun, dox, hoz); u2_noun boc = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun ret = u2_bc(wir_r, _mull_nice (wir_r, van, gol, j2_mby(Pt6, fine) (wir_r, c3__very, boc, u2_h(ryd))), u2_rx(wir_r, u2_t(ryd))); u2_rz(wir_r, boc); u2_rz(wir_r, ryd); u2_rz(wir_r, hoz); return ret; } case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun p_wiv = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun q_wiv = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen); u2_noun p_hef = j2_mcy(Pt6, ut, snap)(wir_r, van, p_wiv, q_gen); u2_noun q_hef = j2_mcy(Pt6, ut, snap)(wir_r, van, q_wiv, q_gen); u2_noun ret; if ( u2_yes == u2_sing(p_hef, q_hef) ) { ret = _mull_in(wir_r, van, sut, gol, dox, p_hef); } else { u2_noun zyn = _mull_in(wir_r, van, sut, gol, dox, p_hef); ret = u2_bc(wir_r, u2_rx(wir_r, u2_h(zyn)), j2_mcy(Pt6, ut, play)(wir_r, van, dox, q_hef)); u2_rz(wir_r, zyn); } u2_rz(wir_r, q_hef); u2_rz(wir_r, p_hef); u2_rz(wir_r, q_wiv); u2_rz(wir_r, p_wiv); return ret; } case c3__ktbr: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen); u2_noun pro = u2_bc (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__iron), j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__iron)); u2_rz(wir_r, vat); return pro; } case c3__ktpm: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen); u2_noun pro = u2_bc (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__zinc), j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__zinc)); u2_rz(wir_r, vat); return pro; } case c3__ktwt: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen); u2_noun pro = u2_bc (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__lead), j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__lead)); u2_rz(wir_r, vat); return pro; } case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, q_gen); u2_noun ret = u2_bc(wir_r, j2_mby(Pt6, face)(wir_r, p_gen, u2_h(vat)), j2_mby(Pt6, face)(wir_r, p_gen, u2_t(vat))); u2_rz(wir_r, vat); return ret; } case c3__ktgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun hoz = j2_mcy(Pt6, ap, late)(wir_r, gen); u2_noun ryd = _mull_in(wir_r, van, sut, c3__noun, dox, hoz); u2_noun boc = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun ret = u2_bc(wir_r, _mull_nice (wir_r, van, gol, j2_mby(Pt6, fine) (wir_r, c3__pure, boc, u2_h(ryd))), u2_rx(wir_r, u2_t(ryd))); u2_rz(wir_r, boc); u2_rz(wir_r, ryd); u2_rz(wir_r, hoz); return ret; } case c3__ktsg: p_gen = u2_t(gen); _mull_used(wir_r); { return _mull_in(wir_r, van, sut, gol, dox, p_gen); } case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun p_hif = _mull_nice (wir_r, van, gol, j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen)); u2_noun q_hif = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen); u2_noun zel = _mull_in(wir_r, van, sut, p_hif, dox, q_gen); u2_noun ret = u2_bc(wir_r, p_hif, q_hif); u2_rz(wir_r, zel); return ret; } case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun lem = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen); u2_noun p_lem = u2_h(lem); u2_noun q_lem = u2_t(lem); u2_noun ret = _mull_in(wir_r, van, p_lem, gol, q_lem, q_gen); u2_rz(wir_r, lem); return ret; } case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen); u2_noun suc = j2_mcy(Pt6, ut, seek)(wir_r, van, dox, c3__read, p_gen); u2_noun lar = _mull_foil(wir_r, sec); u2_noun p_lar = u2_h(lar); u2_noun q_lar = u2_t(lar); u2_noun pq_lar = u2_h(q_lar); u2_noun qq_lar = u2_t(q_lar); u2_noun vug = _mull_foil(wir_r, suc); u2_noun p_vug = u2_h(vug); u2_noun q_vug = u2_t(vug); u2_noun pq_vug = u2_h(q_vug); u2_noun qq_vug = u2_t(q_vug); u2_noun zoz = u2_and(u2_sing(p_lar, p_vug), u2_sing(pq_lar, pq_vug)) ? u2_bl_error(wir_r, "mull-bonk-f") : 0; u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, qq_lar, q_gen); u2_noun muw = j2_mcy(Pt6, ut, swab)(wir_r, van, dox, qq_vug, q_gen); u2_noun qoq = u2_sing(mew, muw) ? u2_bl_error(wir_r, "mull-bonk-g") : 0; u2_noun yom = _mull_edit (wir_r, van, sut, dox, mew, u2_rx(wir_r, qq_lar), u2_rx(wir_r, qq_vug)); u2_noun von = u2_bn_molt(wir_r, van, j2_ut_van_vet, u2_no, 0); u2_noun p_ret = j2_mcy(Pt6, ut, fire)(wir_r, van, sut, u2_h(yom)); u2_noun q_ret = j2_mcy(Pt6, ut, fire)(wir_r, von, sut, u2_t(yom)); qoq = qoq; zoz = zoz; u2_rz(wir_r, von); u2_rz(wir_r, yom); u2_rz(wir_r, muw); u2_rz(wir_r, mew); u2_rz(wir_r, vug); u2_rz(wir_r, lar); return u2_bc(wir_r, _mull_nice(wir_r, van, gol, p_ret), q_ret); } case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _mull_grow (wir_r, van, sut, gol, dox, c3__zinc, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__brcn: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); ret = _mull_grow(wir_r, van, sut, gol, dox, c3__gold, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmcn: p_gen = u2_t(gen); _mull_used(wir_r); { u2_noun ruf = u2_bc(wir_r, u2_nul, _1); ret = _mull_grow(wir_r, van, sut, gol, dox, c3__lead, ruf, p_gen); u2_rz(wir_r, ruf); return ret; } case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun ruf = u2_bt (wir_r, c3__clhp, u2_bc(wir_r, u2_nul, _1), u2_rx(wir_r, p_gen)); u2_noun ret = _mull_grow (wir_r, van, sut, gol, dox, c3__iron, ruf, q_gen); u2_rz(wir_r, ruf); return ret; } case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { return _mull_in(wir_r, van, sut, gol, dox, q_gen); } case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun p_ret = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun q_ret = j2_mcy(Pt6, ut, play)(wir_r, van, sut, q_gen); return u2_bc (wir_r, _mull_nice(wir_r, van, gol, p_ret), q_ret); } case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); { u2_noun ret; u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _mull_loc(wir_r, van, p_gen))); { ret = _mull_in(wir_r, van, sut, gol, dox, q_gen); } u2_bl_drop(wir_r); return ret; } case c3__zpts: p_gen = u2_t(gen); _mull_used(wir_r); { return _mull_both(wir_r, van, gol, c3__noun); } case c3__zpcn: _mull_used(wir_r); { u2_noun pet = u2_bn_hook(wir_r, van, "seed"); u2_noun peq = u2_rx(wir_r, u2_h(pet)); u2_rz(wir_r, pet); return _mull_both(wir_r, van, gol, peq); } case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen); _mull_used(wir_r); { u2_noun p_zur = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen); u2_noun q_zur = j2_mcy(Pt6, ut, play) (wir_r, van, dox, p_gen); u2_noun vos = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen); u2_noun p_ret = j2_mby(Pt6, cell)(wir_r, p_zur, u2_h(vos)); u2_noun q_ret = j2_mby(Pt6, cell)(wir_r, q_zur, u2_t(vos)); u2_rz(wir_r, vos); u2_rz(wir_r, q_zur); u2_rz(wir_r, p_zur); return u2_bc (wir_r, _mull_nice(wir_r, van, gol, p_ret), q_ret); } case c3__zpfs: case c3__zpzp: _mull_used(wir_r); { return u2_bc(wir_r, c3__void, c3__void); } } }
static u2_noun // produce _peek_in(u2_wire wir_r, u2_noun van, // retain u2_noun sut, // retain u2_noun way, // retain u2_atom axe, // retain u2_noun gil) // retain { u2_noun p_sut, q_sut; u2_noun pro; if ( (u2_no == u2_dust(sut)) ) switch ( sut ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__noun: { return c3__noun; } case c3__void: { return c3__void; } } else switch ( u2_h(sut) ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__atom: { return c3__void; } case c3__cell: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { u2_atom tip = j2_mbc(Pt3, cap)(wir_r, axe); u2_atom tap = j2_mbc(Pt3, mas)(wir_r, axe); if ( _2 == tip ) { pro = j2_mcx(Pt6, ut, peek)(wir_r, van, p_sut, way, tap); } else { pro = j2_mcx(Pt6, ut, peek)(wir_r, van, q_sut, way, tap); } u2_rl_lose(wir_r, tap); u2_rl_lose(wir_r, tip); return pro; } } case c3__core: { u2_noun pq_sut, qq_sut, rq_sut; u2_noun prq_sut, qrq_sut; if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) || (u2_no == u2_as_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) || (u2_no == u2_as_cell(rq_sut, &prq_sut, &qrq_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { u2_atom tip = j2_mbc(Pt3, cap)(wir_r, axe); u2_atom tap = j2_mbc(Pt3, mas)(wir_r, axe); if ( _3 == tip ) { if ( u2_no == j2_mcy(Pt6, ut, park)(wir_r, van, sut, way, tap) ) { // u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut); u2_noun waz = j2_mcy(Pt6, ut, shep) (wir_r, van, "axis", 'd', u2_rx(wir_r, axe)); // u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, waz)); return u2_bl_error(wir_r, "peek-park"); } else pro = j2_mcx(Pt6, ut, peek)(wir_r, van, p_sut, way, tap); } else { pro = c3__noun; } u2_rl_lose(wir_r, tap); u2_rl_lose(wir_r, tip); return pro; } } case c3__cube: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { return _peek_in(wir_r, van, q_sut, way, axe, gil); } } case c3__face: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { return _peek_in(wir_r, van, q_sut, way, axe, gil); } } case c3__fork: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { u2_noun hed = _peek_in(wir_r, van, p_sut, way, axe, gil); u2_noun tal = _peek_in(wir_r, van, q_sut, way, axe, gil); pro = j2_mby(Pt6, fork)(wir_r, hed, tal); u2_rl_lose(wir_r, hed); u2_rl_lose(wir_r, tal); return pro; } } case c3__hold: { p_sut = u2_t(sut); if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) { return c3__void; } else { u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut); u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun pro = _peek_in(wir_r, van, fop, way, axe, zoc); u2_rl_lose(wir_r, fop); u2_rl_lose(wir_r, zoc); return pro; } } } }
static u2_noun _heal_to(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun gil, u2_noun qog, u2_noun ref, u2_atom now, u2_atom lat) { u2_noun p_sut, q_sut; if ( u2_no == u2_dust(sut) ) { goto repo; } else switch ( u2_h(sut) ) { default: goto repo; case c3__atom: return c3__void; case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun ter, ret; if ( _2 == now ) { ter = _heal_as(wir_r, van, p_sut, qog, lat, ref); ret = j2_mby(Pt6, cell)(wir_r, ter, q_sut); } else { ter = _heal_as(wir_r, van, q_sut, qog, lat, ref); ret = j2_mby(Pt6, cell)(wir_r, p_sut, ter); } u2_rz(wir_r, ter); return ret; } case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { if ( _3 != now ) { return u2_bl_error(wir_r, "heal-core"); } else { u2_noun ter = _heal_as(wir_r, van, p_sut, qog, lat, ref); u2_noun ret = j2_mby(Pt6, core)(wir_r, ter, q_sut); u2_rz(wir_r, ter); return ret; } } case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { u2_noun dis = _heal_to(wir_r, van, p_sut, gil, qog, ref, now, lat); u2_noun dat = _heal_to(wir_r, van, q_sut, gil, qog, ref, now, lat); u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat); u2_rl_lose(wir_r, dis); u2_rl_lose(wir_r, dat); return ret; } case c3__hold: { if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) { return c3__void; } else { u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut); u2_type rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun ret = _heal_to(wir_r, van, rep, zoc, qog, ref, now, lat); u2_rl_lose(wir_r, rep); u2_rl_lose(wir_r, zoc); return ret; } } } repo: { u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun ret = _heal_to(wir_r, van, rep, gil, qog, ref, now, lat); u2_rz(wir_r, rep); return ret; } }
/* logic */ static u2_noun _burn_in(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun gil) { u2_noun p_sut, q_sut, pq_sut, qq_sut, rq_sut, prq_sut, qrq_sut; if ( u2_no == u2_dust(sut) ) switch ( sut ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__noun: return _0; case c3__void: { return u2_bl_error(wir_r, "burn-void"); } } else switch ( u2_h(sut) ) { default: return u2_bl_bail(wir_r, c3__fail); case c3__atom: return _0; case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return u2_bc (wir_r, _burn_in(wir_r, van, p_sut, gil), _burn_in(wir_r, van, q_sut, gil)); } case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); u2_bi_trel(wir_r, q_sut, &pq_sut, &qq_sut, &rq_sut); u2_bi_cell(wir_r, rq_sut, &prq_sut, &qrq_sut); { return u2_bc (wir_r, u2_rx(wir_r, prq_sut), _burn_in(wir_r, van, p_sut, gil)); } case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return u2_rx(wir_r, p_sut); } case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return _burn_in(wir_r, van, q_sut, gil); } case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut); { return _burn_in(wir_r, van, p_sut, gil); } case c3__hold: p_sut = u2_t(sut); { if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) { u2_noun sux = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, sux)); return u2_bl_error(wir_r, "burn-loop"); } else { u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut); u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun pro = _burn_in(wir_r, van, fop, zoc); u2_rl_lose(wir_r, fop); u2_rl_lose(wir_r, zoc); return pro; } } } }
/* logic */ static u2_noun _find_in(u2_wire wir_r, u2_noun van, u2_noun sut, u2_noun way, u2_noun cog, u2_noun gil) { u2_noun p_sut, q_sut; if ( u2_yes == u2_stud(sut) ) { return u2_nul; } else switch ( u2_h(sut) ) { default: return u2_nul; case c3__cell: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { u2_noun taf = _find_in(wir_r, van, q_sut, way, cog, gil); if ( u2_nul == taf ) { u2_noun bov = _find_in(wir_r, van, p_sut, way, cog, gil); if ( u2_nul == bov ) { return u2_nul; } else { u2_noun p_bov, q_bov; u2_noun pro; u2_mean(bov, 6, &p_bov, 7, &q_bov, 0); pro = u2_bt (wir_r, u2_nul, j2_mbc(Pt3, peg)(wir_r, 2, p_bov), u2_rx(wir_r, q_bov)); u2_rl_lose(wir_r, bov); return pro; } } else { u2_noun p_taf, q_taf; u2_noun pro; u2_mean(taf, 6, &p_taf, 7, &q_taf, 0); pro = u2_bt (wir_r, u2_nul, j2_mbc(Pt3, peg)(wir_r, 3, p_taf), u2_rx(wir_r, q_taf)); u2_rl_lose(wir_r, taf); return pro; } } } case c3__core: { u2_noun pq_sut, qq_sut, rq_sut; u2_noun prq_sut, qrq_sut; if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) || (u2_no == u2_as_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) || (u2_no == u2_as_cell(rq_sut, &prq_sut, &qrq_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { u2_noun zem = j2_mby(Pt6, look)(wir_r, cog, qrq_sut); if ( u2_nul == zem ) { u2_noun taf = _find_in(wir_r, van, p_sut, way, cog, gil); if ( u2_nul == taf ) { return u2_nul; } else { u2_noun p_taf, q_taf; u2_noun pro; u2_mean(taf, 6, &p_taf, 7, &q_taf, 0); if ( u2_no == j2_mcy(Pt6, ut, park)(wir_r, van, sut, way, p_taf) ) { u2_noun weh = j2_mcy(Pt6, ut, shep) (wir_r, van, "way", 'a', u2_rx(wir_r, way)); u2_noun waz = j2_mcy(Pt6, ut, shep) (wir_r, van, "axis", 'd', u2_rx(wir_r, p_taf)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, weh)); u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, waz)); return u2_bl_error(wir_r, "find-park"); } else { pro = u2_bt (wir_r, u2_nul, j2_mbc(Pt3, peg)(wir_r, 2, p_taf), u2_rx(wir_r, q_taf)); u2_rl_lose(wir_r, taf); return pro; } } } else { u2_noun p_zem, q_zem; u2_noun pro; u2_mean(zem, 6, &p_zem, 7, &q_zem, 0); pro = u2_bq (wir_r, u2_nul, _1, u2_no, u2_bc (wir_r, j2_mbc(Pt3, peg)(wir_r, 3, p_zem), u2_bc(wir_r, u2_bc(wir_r, u2_rx(wir_r, sut), u2_rx(wir_r, q_zem)), u2_nul))); u2_rz(wir_r, zem); return pro; } } } case c3__face: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { if ( u2_no == u2_sing(cog, p_sut) ) { return u2_nul; } else { return u2_bq(wir_r, u2_nul, _1, u2_yes, u2_rx(wir_r, q_sut)); } } } case c3__cube: case c3__fine: { u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun ret = _find_in(wir_r, van, fop, way, cog, gil); u2_rz(wir_r, fop); return ret; } case c3__fork: { if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) { return u2_bl_bail(wir_r, c3__fail); } else { if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, q_sut)) ) { return _find_in(wir_r, van, p_sut, way, cog, gil); } else if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, p_sut)) ) { return _find_in(wir_r, van, q_sut, way, cog, gil); } else { u2_noun hax = _find_in(wir_r, van, p_sut, way, cog, gil); u2_noun yor = _find_in(wir_r, van, q_sut, way, cog, gil); u2_noun p_hax, q_hax; u2_noun p_yor, q_yor; if ( u2_nul != hax ) { u2_mean(hax, 6, &p_hax, 7, &q_hax, 0); } if ( u2_nul != yor ) { u2_mean(yor, 6, &p_yor, 7, &q_yor, 0); } if ( u2_nul == hax ) { if ( u2_nul == yor ) { return u2_nul; } else { u2_noun pek = j2_mcy(Pt6, ut, peek) (wir_r, van, p_sut, way, p_yor); u2_noun nuz = j2_mcy(Pt6, ut, nest) (wir_r, van, c3__void, u2_no, pek); u2_rz(wir_r, pek); if ( u2_yes == nuz ) { return yor; } else return u2_bl_error(wir_r, "find-fork"); } } else { if ( u2_nul == yor ) { u2_noun pek = j2_mcy(Pt6, ut, peek) (wir_r, van, q_sut, way, p_hax); u2_noun nuz = j2_mcy(Pt6, ut, nest) (wir_r, van, c3__void, u2_no, pek); u2_rz(wir_r, pek); if ( u2_yes == nuz ) { return hax; } else return u2_bl_error(wir_r, "find-fork"); } else { if ( u2_yes == u2_sing(hax, yor) ) { u2_rz(wir_r, yor); return hax; } else { u2_noun ret; u2_mean(hax, 6, &p_hax, 7, &q_hax, 0); u2_mean(yor, 6, &p_yor, 7, &q_yor, 0); if ( u2_no == u2_sing(p_hax, p_yor) ) { return u2_bl_error(wir_r, "find-fork"); } if ( u2_yes == u2_h(q_hax) ) { if ( u2_yes != u2_h(q_yor) ) { return u2_bl_error(wir_r, "find-fork"); } else { u2_noun pq_hax = u2_t(q_hax); u2_noun pq_yor = u2_t(q_yor); ret = u2_bq (wir_r, u2_nul, u2_rx(wir_r, p_hax), u2_yes, j2_mby(Pt6, fork)(wir_r, pq_hax, pq_yor)); } } else { if ( u2_yes == u2_h(q_yor) ) { return u2_bl_error(wir_r, "find-fork"); } else { u2_noun pq_hax, qq_hax, pq_yor, qq_yor; u2_bi_cell(wir_r, u2_t(q_hax), &pq_hax, &qq_hax); u2_bi_cell(wir_r, u2_t(q_yor), &pq_yor, &qq_yor); if ( u2_no == u2_sing(pq_hax, pq_yor) ) { return u2_bl_error(wir_r, "find-fork"); } else { ret = u2_bq (wir_r, u2_nul, u2_rx(wir_r, p_hax), u2_no, u2_bc (wir_r, u2_rx(wir_r, pq_hax), j2_mbc(Pt2, weld) (wir_r, qq_hax, qq_yor))); } } } u2_rz(wir_r, yor); u2_rz(wir_r, hax); return ret; } } } } } } case c3__hold: p_sut = u2_t(sut); { if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) { return u2_nul; } else { u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut); u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut); u2_noun pro = _find_in(wir_r, van, fop, way, cog, zoc); u2_rl_lose(wir_r, fop); u2_rl_lose(wir_r, zoc); return pro; } } } }