text: ; ModuleID = ""
  target triple = "x86_64-pc-linux-gnu"
  target datalayout = ""
  
  define i64 @"SECRET"(i64 %"SymVar_0") nounwind
  {
  .3:
    %".4" = zext i8 5 to i64
    %".5" = and i64 %".4", 63
    %".6" = lshr i64 %"SymVar_0", %".5"
    %".7" = sext i64 %".6" to i128
    %".8" = sub i64 %"SymVar_0", 275339905
    %".9" = xor i64 %".6", 810798164723513605
    %".10" = add i64 %".8", %".9"
    %".11" = add i64 %".6", %".10"
    %".12" = add i64 %"SymVar_0", %".11"
    %".13" = sext i64 %".12" to i128
    %".14" = mul i128 %".7", %".13"
    %".15" = trunc i128 %".14" to i64
    %".16" = and i64 %".15", 7
    %".17" = zext i8 2 to i64
    %".18" = and i64 %".17", 63
    %".19" = shl i64 %".16", %".18"
    %".20" = or i64 %".6", %".19"
    %".21" = sext i64 1015975030 to i128
    %".22" = sext i64 %".6" to i128
    %".23" = mul i128 %".21", %".22"
    %".24" = trunc i128 %".23" to i64
    %".25" = and i64 %".24", 7
    %".26" = or i64 %".25", 1
    %".27" = trunc i64 %".26" to i32
    %".28" = zext i32 %".27" to i64
    %".29" = trunc i64 %".28" to i8
    %".30" = zext i8 %".29" to i64
    %".31" = and i64 %".30", 63
    %".32" = lshr i64 %"SymVar_0", %".31"
    %".33" = zext i8 4 to i64
    %".34" = and i64 %".33", 63
    %".35" = lshr i64 %".10", %".34"
    %".36" = and i64 %".35", 15
    %".37" = or i64 %".36", 1
    %".38" = trunc i64 %".37" to i32
    %".39" = zext i32 %".38" to i64
    %".40" = trunc i64 %".39" to i8
    %".41" = zext i8 %".40" to i64
    %".42" = and i64 %".41", 63
    %".43" = shl i64 %".32", %".42"
    %".44" = zext i8 4 to i64
    %".45" = and i64 %".44", 63
    %".46" = lshr i64 %".10", %".45"
    %".47" = and i64 %".46", 15
    %".48" = or i64 %".47", 1
    %".49" = sub i64 64, %".48"
    %".50" = trunc i64 %".49" to i32
    %".51" = zext i32 %".50" to i64
    %".52" = trunc i64 %".51" to i8
    %".53" = zext i8 %".52" to i64
    %".54" = and i64 %".53", 63
    %".55" = lshr i64 %".32", %".54"
    %".56" = or i64 %".43", %".55"
    %".57" = and i64 %".56", 15
    %".58" = zext i8 3 to i64
    %".59" = and i64 %".58", 63
    %".60" = shl i64 %".57", %".59"
    %".61" = or i64 %".10", %".60"
    %".62" = and i64 %".61", 15
    %".63" = or i64 %".62", 1
    %".64" = trunc i64 %".63" to i32
    %".65" = zext i32 %".64" to i64
    %".66" = trunc i64 %".65" to i8
    %".67" = zext i8 %".66" to i64
    %".68" = and i64 %".67", 63
    %".69" = shl i64 %".20", %".68"
    %".70" = and i64 %".61", 15
    %".71" = or i64 %".70", 1
    %".72" = sub i64 64, %".71"
    %".73" = trunc i64 %".72" to i32
    %".74" = zext i32 %".73" to i64
    %".75" = trunc i64 %".74" to i8
    %".76" = zext i8 %".75" to i64
    %".77" = and i64 %".76", 63
    %".78" = lshr i64 %".20", %".77"
    %".79" = or i64 %".69", %".78"
    %".80" = zext i8 3 to i64
    %".81" = and i64 %".80", 63
    %".82" = lshr i64 %".32", %".81"
    %".83" = and i64 %".82", 15
    %".84" = or i64 %".83", 1
    %".85" = trunc i64 %".84" to i32
    %".86" = zext i32 %".85" to i64
    %".87" = trunc i64 %".86" to i8
    %".88" = zext i8 %".87" to i64
    %".89" = and i64 %".88", 63
    %".90" = shl i64 %".12", %".89"
    %".91" = zext i8 3 to i64
    %".92" = and i64 %".91", 63
    %".93" = lshr i64 %".32", %".92"
    %".94" = and i64 %".93", 15
    %".95" = or i64 %".94", 1
    %".96" = sub i64 64, %".95"
    %".97" = trunc i64 %".96" to i32
    %".98" = zext i32 %".97" to i64
    %".99" = trunc i64 %".98" to i8
    %".100" = zext i8 %".99" to i64
    %".101" = and i64 %".100", 63
    %".102" = lshr i64 %".12", %".101"
    %".103" = or i64 %".90", %".102"
    %".104" = sub i64 %".79", %".103"
    %".105" = xor i64 %".103", %".104"
    %".106" = xor i64 %".79", %".105"
    %".107" = xor i64 %".79", %".104"
    %".108" = xor i64 %".79", %".103"
    %".109" = and i64 %".107", %".108"
    %".110" = xor i64 %".106", %".109"
    %".111" = lshr i64 %".110", 63
    %".112" = trunc i64 %".111" to i1
    %".113" = icmp eq i64 %".104", 0
    br i1 %".113", label %".3.if", label %".3.else"
  .3.if:
    br label %".3.endif"
  .3.else:
    br label %".3.endif"
  .3.endif:
    %".117" = phi i1 [1, %".3.if"], [0, %".3.else"]
    %".118" = or i1 %".112", %".117"
    %".119" = icmp eq i1 %".118", 1
    br i1 %".119", label %".3.endif.if", label %".3.endif.else"
  .3.endif.if:
    br label %".3.endif.endif"
  .3.endif.else:
    br label %".3.endif.endif"
  .3.endif.endif:
    %".123" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
    %".124" = zext i8 %".123" to i64
    %".125" = lshr i64 %".103", 8
    %".126" = trunc i64 %".125" to i56
    %".127" = zext i56 %".126" to i64
    %".128" = shl i64 %".127", 8
    %".129" = or i64 %".124", %".128"
    %".130" = trunc i64 %".129" to i8
    %".131" = zext i8 %".130" to i32
    %".132" = zext i32 %".131" to i64
    %".133" = trunc i64 %".132" to i32
    %".134" = zext i32 %".133" to i64
    %".135" = trunc i64 %".134" to i32
    %".136" = trunc i64 %".134" to i32
    %".137" = and i32 %".135", %".136"
    %".138" = icmp eq i32 %".137", 0
    br i1 %".138", label %".3.endif.endif.if", label %".3.endif.endif.else"
  .3.endif.endif.if:
    br label %".3.endif.endif.endif"
  .3.endif.endif.else:
    br label %".3.endif.endif.endif"
  .3.endif.endif.endif:
    %".142" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
    %".143" = icmp eq i1 %".142", 1
    br i1 %".143", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
  .3.endif.endif.endif.if:
    br label %".3.endif.endif.endif.endif"
  .3.endif.endif.endif.else:
    br label %".3.endif.endif.endif.endif"
  .3.endif.endif.endif.endif:
    %".147" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
    br i1 %".147", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
  .3.endif.endif.endif.endif.if:
    %".149" = zext i8 5 to i64
    %".150" = and i64 %".149", 63
    %".151" = lshr i64 %"SymVar_0", %".150"
    %".152" = sext i64 %".151" to i128
    %".153" = sub i64 %"SymVar_0", 275339905
    %".154" = xor i64 %".151", 810798164723513605
    %".155" = add i64 %".153", %".154"
    %".156" = add i64 %".151", %".155"
    %".157" = add i64 %"SymVar_0", %".156"
    %".158" = sext i64 %".157" to i128
    %".159" = mul i128 %".152", %".158"
    %".160" = trunc i128 %".159" to i64
    %".161" = and i64 %".160", 7
    %".162" = zext i8 2 to i64
    %".163" = and i64 %".162", 63
    %".164" = shl i64 %".161", %".163"
    %".165" = or i64 %".151", %".164"
    %".166" = lshr i64 %".165", 56
    %".167" = trunc i64 %".166" to i8
    %".168" = zext i8 %".167" to i32
    %".169" = zext i32 %".168" to i64
    %".170" = trunc i64 %".169" to i8
    %".171" = zext i8 %".170" to i32
    %".172" = zext i32 %".171" to i64
    %".173" = trunc i64 %".172" to i8
    %".174" = zext i8 %".173" to i32
    %".175" = zext i32 %".174" to i64
    %".176" = trunc i64 %".175" to i8
    %".177" = zext i8 %".176" to i32
    %".178" = zext i32 %".177" to i64
    %".179" = trunc i64 %".178" to i8
    %".180" = zext i8 %".179" to i64
    %".181" = lshr i64 %".165", 8
    %".182" = trunc i64 %".181" to i8
    %".183" = zext i8 %".182" to i64
    %".184" = shl i64 %".183", 8
    %".185" = or i64 %".180", %".184"
    %".186" = lshr i64 %".165", 16
    %".187" = trunc i64 %".186" to i8
    %".188" = zext i8 %".187" to i64
    %".189" = shl i64 %".188", 16
    %".190" = or i64 %".185", %".189"
    %".191" = lshr i64 %".165", 24
    %".192" = trunc i64 %".191" to i8
    %".193" = zext i8 %".192" to i64
    %".194" = shl i64 %".193", 24
    %".195" = or i64 %".190", %".194"
    %".196" = lshr i64 %".165", 32
    %".197" = trunc i64 %".196" to i8
    %".198" = zext i8 %".197" to i64
    %".199" = shl i64 %".198", 32
    %".200" = or i64 %".195", %".199"
    %".201" = lshr i64 %".165", 40
    %".202" = trunc i64 %".201" to i8
    %".203" = zext i8 %".202" to i64
    %".204" = shl i64 %".203", 40
    %".205" = or i64 %".200", %".204"
    %".206" = lshr i64 %".165", 48
    %".207" = trunc i64 %".206" to i8
    %".208" = zext i8 %".207" to i64
    %".209" = shl i64 %".208", 48
    %".210" = or i64 %".205", %".209"
    %".211" = trunc i64 %".165" to i8
    %".212" = zext i8 %".211" to i32
    %".213" = zext i32 %".212" to i64
    %".214" = trunc i64 %".213" to i8
    %".215" = zext i8 %".214" to i32
    %".216" = zext i32 %".215" to i64
    %".217" = trunc i64 %".216" to i8
    %".218" = zext i8 %".217" to i64
    %".219" = shl i64 %".218", 56
    %".220" = or i64 %".210", %".219"
    %".221" = sext i64 1015975030 to i128
    %".222" = sext i64 %".151" to i128
    %".223" = mul i128 %".221", %".222"
    %".224" = trunc i128 %".223" to i64
    %".225" = and i64 %".224", 7
    %".226" = or i64 %".225", 1
    %".227" = trunc i64 %".226" to i32
    %".228" = zext i32 %".227" to i64
    %".229" = trunc i64 %".228" to i8
    %".230" = zext i8 %".229" to i64
    %".231" = and i64 %".230", 63
    %".232" = lshr i64 %"SymVar_0", %".231"
    %".233" = zext i8 4 to i64
    %".234" = and i64 %".233", 63
    %".235" = lshr i64 %".155", %".234"
    %".236" = and i64 %".235", 15
    %".237" = or i64 %".236", 1
    %".238" = trunc i64 %".237" to i32
    %".239" = zext i32 %".238" to i64
    %".240" = trunc i64 %".239" to i8
    %".241" = zext i8 %".240" to i64
    %".242" = and i64 %".241", 63
    %".243" = shl i64 %".232", %".242"
    %".244" = zext i8 4 to i64
    %".245" = and i64 %".244", 63
    %".246" = lshr i64 %".155", %".245"
    %".247" = and i64 %".246", 15
    %".248" = or i64 %".247", 1
    %".249" = sub i64 64, %".248"
    %".250" = trunc i64 %".249" to i32
    %".251" = zext i32 %".250" to i64
    %".252" = trunc i64 %".251" to i8
    %".253" = zext i8 %".252" to i64
    %".254" = and i64 %".253", 63
    %".255" = lshr i64 %".232", %".254"
    %".256" = or i64 %".243", %".255"
    %".257" = and i64 %".256", 15
    %".258" = zext i8 3 to i64
    %".259" = and i64 %".258", 63
    %".260" = shl i64 %".257", %".259"
    %".261" = or i64 %".155", %".260"
    %".262" = and i64 %".261", 15
    %".263" = zext i8 3 to i64
    %".264" = and i64 %".263", 63
    %".265" = shl i64 %".262", %".264"
    %".266" = or i64 %".261", %".265"
    %".267" = trunc i64 %".266" to i8
    %".268" = zext i8 %".267" to i32
    %".269" = lshr i64 %".266", 8
    %".270" = trunc i64 %".269" to i8
    %".271" = zext i8 %".270" to i32
    %".272" = shl i32 %".271", 8
    %".273" = or i32 %".268", %".272"
    %".274" = lshr i64 %".266", 16
    %".275" = trunc i64 %".274" to i8
    %".276" = zext i8 %".275" to i32
    %".277" = shl i32 %".276", 16
    %".278" = or i32 %".273", %".277"
    %".279" = lshr i64 %".266", 24
    %".280" = trunc i64 %".279" to i8
    %".281" = zext i8 %".280" to i32
    %".282" = shl i32 %".281", 24
    %".283" = or i32 %".278", %".282"
    %".284" = zext i32 %".283" to i64
    %".285" = trunc i64 %".284" to i32
    %".286" = zext i32 %".285" to i64
    %".287" = trunc i64 %".286" to i32
    %".288" = zext i32 %".287" to i64
    %".289" = trunc i64 %".288" to i32
    %".290" = zext i32 %".289" to i64
    %".291" = trunc i64 %".290" to i32
    %".292" = zext i32 %".291" to i64
    %".293" = trunc i64 %".292" to i32
    %".294" = zext i32 %".293" to i64
    %".295" = trunc i64 %".294" to i32
    %".296" = zext i32 %".295" to i64
    %".297" = trunc i64 %".296" to i32
    %".298" = zext i32 %".297" to i64
    %".299" = trunc i64 %".298" to i32
    %".300" = trunc i32 %".299" to i8
    %".301" = zext i8 %".300" to i64
    %".302" = trunc i64 %".298" to i32
    %".303" = lshr i32 %".302", 8
    %".304" = trunc i32 %".303" to i8
    %".305" = zext i8 %".304" to i64
    %".306" = shl i64 %".305", 8
    %".307" = or i64 %".301", %".306"
    %".308" = trunc i64 %".298" to i32
    %".309" = lshr i32 %".308", 16
    %".310" = trunc i32 %".309" to i8
    %".311" = zext i8 %".310" to i64
    %".312" = shl i64 %".311", 16
    %".313" = or i64 %".307", %".312"
    %".314" = trunc i64 %".298" to i32
    %".315" = lshr i32 %".314", 24
    %".316" = trunc i32 %".315" to i8
    %".317" = zext i8 %".316" to i64
    %".318" = shl i64 %".317", 24
    %".319" = or i64 %".313", %".318"
    %".320" = lshr i64 %".266", 32
    %".321" = trunc i64 %".320" to i8
    %".322" = zext i8 %".321" to i32
    %".323" = lshr i64 %".266", 40
    %".324" = trunc i64 %".323" to i8
    %".325" = zext i8 %".324" to i32
    %".326" = shl i32 %".325", 8
    %".327" = or i32 %".322", %".326"
    %".328" = lshr i64 %".266", 48
    %".329" = trunc i64 %".328" to i8
    %".330" = zext i8 %".329" to i32
    %".331" = shl i32 %".330", 16
    %".332" = or i32 %".327", %".331"
    %".333" = lshr i64 %".266", 56
    %".334" = trunc i64 %".333" to i8
    %".335" = zext i8 %".334" to i32
    %".336" = shl i32 %".335", 24
    %".337" = or i32 %".332", %".336"
    %".338" = zext i32 %".337" to i64
    %".339" = trunc i64 %".338" to i32
    %".340" = zext i32 %".339" to i64
    %".341" = trunc i64 %".340" to i32
    %".342" = zext i32 %".341" to i64
    %".343" = trunc i64 %".342" to i32
    %".344" = zext i32 %".343" to i64
    %".345" = trunc i64 %".344" to i32
    %".346" = trunc i32 %".345" to i8
    %".347" = zext i8 %".346" to i64
    %".348" = shl i64 %".347", 32
    %".349" = or i64 %".319", %".348"
    %".350" = trunc i64 %".344" to i32
    %".351" = lshr i32 %".350", 8
    %".352" = trunc i32 %".351" to i8
    %".353" = zext i8 %".352" to i64
    %".354" = shl i64 %".353", 40
    %".355" = or i64 %".349", %".354"
    %".356" = trunc i64 %".344" to i32
    %".357" = lshr i32 %".356", 16
    %".358" = trunc i32 %".357" to i8
    %".359" = zext i8 %".358" to i64
    %".360" = shl i64 %".359", 48
    %".361" = or i64 %".355", %".360"
    %".362" = trunc i64 %".344" to i32
    %".363" = lshr i32 %".362", 24
    %".364" = trunc i32 %".363" to i8
    %".365" = zext i8 %".364" to i64
    %".366" = shl i64 %".365", 56
    %".367" = or i64 %".361", %".366"
    %".368" = zext i8 %".179" to i64
    %".369" = zext i8 %".182" to i64
    %".370" = shl i64 %".369", 8
    %".371" = or i64 %".368", %".370"
    %".372" = zext i8 %".187" to i64
    %".373" = shl i64 %".372", 16
    %".374" = or i64 %".371", %".373"
    %".375" = zext i8 %".192" to i64
    %".376" = shl i64 %".375", 24
    %".377" = or i64 %".374", %".376"
    %".378" = zext i8 %".197" to i64
    %".379" = shl i64 %".378", 32
    %".380" = or i64 %".377", %".379"
    %".381" = zext i8 %".202" to i64
    %".382" = shl i64 %".381", 40
    %".383" = or i64 %".380", %".382"
    %".384" = zext i8 %".207" to i64
    %".385" = shl i64 %".384", 48
    %".386" = or i64 %".383", %".385"
    %".387" = zext i8 %".217" to i64
    %".388" = shl i64 %".387", 56
    %".389" = or i64 %".386", %".388"
    %".390" = sub i64 %".367", %".389"
    %".391" = and i64 %".390", 63
    %".392" = zext i8 4 to i64
    %".393" = and i64 %".392", 63
    %".394" = shl i64 %".391", %".393"
    %".395" = or i64 %".220", %".394"
    %".396" = zext i8 %".300" to i64
    %".397" = zext i8 %".304" to i64
    %".398" = shl i64 %".397", 8
    %".399" = or i64 %".396", %".398"
    %".400" = zext i8 %".310" to i64
    %".401" = shl i64 %".400", 16
    %".402" = or i64 %".399", %".401"
    %".403" = zext i8 %".316" to i64
    %".404" = shl i64 %".403", 24
    %".405" = or i64 %".402", %".404"
    %".406" = zext i8 %".346" to i64
    %".407" = shl i64 %".406", 32
    %".408" = or i64 %".405", %".407"
    %".409" = zext i8 %".352" to i64
    %".410" = shl i64 %".409", 40
    %".411" = or i64 %".408", %".410"
    %".412" = zext i8 %".358" to i64
    %".413" = shl i64 %".412", 48
    %".414" = or i64 %".411", %".413"
    %".415" = zext i8 %".364" to i64
    %".416" = shl i64 %".415", 56
    %".417" = or i64 %".414", %".416"
    %".418" = zext i8 2 to i64
    %".419" = and i64 %".418", 63
    %".420" = lshr i64 %".417", %".419"
    %".421" = and i64 %".420", 7
    %".422" = or i64 %".421", 1
    %".423" = trunc i64 %".422" to i32
    %".424" = zext i32 %".423" to i64
    %".425" = trunc i64 %".424" to i8
    %".426" = zext i8 %".425" to i64
    %".427" = and i64 %".426", 63
    %".428" = shl i64 %".395", %".427"
    %".429" = or i64 %".390", %".232"
    %".430" = add i64 %".428", %".429"
    br label %".3.endif.endif.endif.endif.endif"
  .3.endif.endif.endif.endif.else:
    %".432" = zext i8 5 to i64
    %".433" = and i64 %".432", 63
    %".434" = lshr i64 %"SymVar_0", %".433"
    %".435" = sext i64 %".434" to i128
    %".436" = sub i64 %"SymVar_0", 275339905
    %".437" = xor i64 %".434", 810798164723513605
    %".438" = add i64 %".436", %".437"
    %".439" = add i64 %".434", %".438"
    %".440" = add i64 %"SymVar_0", %".439"
    %".441" = sext i64 %".440" to i128
    %".442" = mul i128 %".435", %".441"
    %".443" = trunc i128 %".442" to i64
    %".444" = and i64 %".443", 7
    %".445" = zext i8 2 to i64
    %".446" = and i64 %".445", 63
    %".447" = shl i64 %".444", %".446"
    %".448" = or i64 %".434", %".447"
    %".449" = sext i64 1015975030 to i128
    %".450" = sext i64 %".434" to i128
    %".451" = mul i128 %".449", %".450"
    %".452" = trunc i128 %".451" to i64
    %".453" = and i64 %".452", 7
    %".454" = or i64 %".453", 1
    %".455" = trunc i64 %".454" to i32
    %".456" = zext i32 %".455" to i64
    %".457" = trunc i64 %".456" to i8
    %".458" = zext i8 %".457" to i64
    %".459" = and i64 %".458", 63
    %".460" = lshr i64 %"SymVar_0", %".459"
    %".461" = zext i8 4 to i64
    %".462" = and i64 %".461", 63
    %".463" = lshr i64 %".438", %".462"
    %".464" = and i64 %".463", 15
    %".465" = or i64 %".464", 1
    %".466" = trunc i64 %".465" to i32
    %".467" = zext i32 %".466" to i64
    %".468" = trunc i64 %".467" to i8
    %".469" = zext i8 %".468" to i64
    %".470" = and i64 %".469", 63
    %".471" = shl i64 %".460", %".470"
    %".472" = zext i8 4 to i64
    %".473" = and i64 %".472", 63
    %".474" = lshr i64 %".438", %".473"
    %".475" = and i64 %".474", 15
    %".476" = or i64 %".475", 1
    %".477" = sub i64 64, %".476"
    %".478" = trunc i64 %".477" to i32
    %".479" = zext i32 %".478" to i64
    %".480" = trunc i64 %".479" to i8
    %".481" = zext i8 %".480" to i64
    %".482" = and i64 %".481", 63
    %".483" = lshr i64 %".460", %".482"
    %".484" = or i64 %".471", %".483"
    %".485" = and i64 %".484", 15
    %".486" = zext i8 3 to i64
    %".487" = and i64 %".486", 63
    %".488" = shl i64 %".485", %".487"
    %".489" = or i64 %".438", %".488"
    %".490" = and i64 %".489", 31
    %".491" = zext i8 4 to i64
    %".492" = and i64 %".491", 63
    %".493" = shl i64 %".490", %".492"
    %".494" = or i64 %".448", %".493"
    %".495" = trunc i64 %".489" to i8
    %".496" = zext i8 %".495" to i32
    %".497" = lshr i64 %".489", 8
    %".498" = trunc i64 %".497" to i8
    %".499" = zext i8 %".498" to i32
    %".500" = shl i32 %".499", 8
    %".501" = or i32 %".496", %".500"
    %".502" = lshr i64 %".489", 16
    %".503" = trunc i64 %".502" to i8
    %".504" = zext i8 %".503" to i32
    %".505" = shl i32 %".504", 16
    %".506" = or i32 %".501", %".505"
    %".507" = lshr i64 %".489", 24
    %".508" = trunc i64 %".507" to i8
    %".509" = zext i8 %".508" to i32
    %".510" = shl i32 %".509", 24
    %".511" = or i32 %".506", %".510"
    %".512" = zext i32 %".511" to i64
    %".513" = trunc i64 %".512" to i32
    %".514" = zext i32 %".513" to i64
    %".515" = trunc i64 %".514" to i32
    %".516" = zext i32 %".515" to i64
    %".517" = trunc i64 %".516" to i32
    %".518" = zext i32 %".517" to i64
    %".519" = trunc i64 %".518" to i32
    %".520" = zext i32 %".519" to i64
    %".521" = trunc i64 %".520" to i32
    %".522" = zext i32 %".521" to i64
    %".523" = trunc i64 %".522" to i32
    %".524" = zext i32 %".523" to i64
    %".525" = trunc i64 %".524" to i32
    %".526" = zext i32 %".525" to i64
    %".527" = trunc i64 %".526" to i32
    %".528" = trunc i32 %".527" to i8
    %".529" = zext i8 %".528" to i64
    %".530" = trunc i64 %".526" to i32
    %".531" = lshr i32 %".530", 8
    %".532" = trunc i32 %".531" to i8
    %".533" = zext i8 %".532" to i64
    %".534" = shl i64 %".533", 8
    %".535" = or i64 %".529", %".534"
    %".536" = trunc i64 %".526" to i32
    %".537" = lshr i32 %".536", 16
    %".538" = trunc i32 %".537" to i8
    %".539" = zext i8 %".538" to i64
    %".540" = shl i64 %".539", 16
    %".541" = or i64 %".535", %".540"
    %".542" = trunc i64 %".526" to i32
    %".543" = lshr i32 %".542", 24
    %".544" = trunc i32 %".543" to i8
    %".545" = zext i8 %".544" to i64
    %".546" = shl i64 %".545", 24
    %".547" = or i64 %".541", %".546"
    %".548" = lshr i64 %".489", 32
    %".549" = trunc i64 %".548" to i8
    %".550" = zext i8 %".549" to i32
    %".551" = lshr i64 %".489", 40
    %".552" = trunc i64 %".551" to i8
    %".553" = zext i8 %".552" to i32
    %".554" = shl i32 %".553", 8
    %".555" = or i32 %".550", %".554"
    %".556" = lshr i64 %".489", 48
    %".557" = trunc i64 %".556" to i8
    %".558" = zext i8 %".557" to i32
    %".559" = shl i32 %".558", 16
    %".560" = or i32 %".555", %".559"
    %".561" = lshr i64 %".489", 56
    %".562" = trunc i64 %".561" to i8
    %".563" = zext i8 %".562" to i32
    %".564" = shl i32 %".563", 24
    %".565" = or i32 %".560", %".564"
    %".566" = zext i32 %".565" to i64
    %".567" = trunc i64 %".566" to i32
    %".568" = zext i32 %".567" to i64
    %".569" = trunc i64 %".568" to i32
    %".570" = zext i32 %".569" to i64
    %".571" = trunc i64 %".570" to i32
    %".572" = zext i32 %".571" to i64
    %".573" = trunc i64 %".572" to i32
    %".574" = trunc i32 %".573" to i8
    %".575" = zext i8 %".574" to i64
    %".576" = shl i64 %".575", 32
    %".577" = or i64 %".547", %".576"
    %".578" = trunc i64 %".572" to i32
    %".579" = lshr i32 %".578", 8
    %".580" = trunc i32 %".579" to i8
    %".581" = zext i8 %".580" to i64
    %".582" = shl i64 %".581", 40
    %".583" = or i64 %".577", %".582"
    %".584" = trunc i64 %".572" to i32
    %".585" = lshr i32 %".584", 16
    %".586" = trunc i32 %".585" to i8
    %".587" = zext i8 %".586" to i64
    %".588" = shl i64 %".587", 48
    %".589" = or i64 %".583", %".588"
    %".590" = trunc i64 %".572" to i32
    %".591" = lshr i32 %".590", 24
    %".592" = trunc i32 %".591" to i8
    %".593" = zext i8 %".592" to i64
    %".594" = shl i64 %".593", 56
    %".595" = or i64 %".589", %".594"
    %".596" = sub i64 %".595", %".494"
    %".597" = and i64 %".596", 63
    %".598" = zext i8 4 to i64
    %".599" = and i64 %".598", 63
    %".600" = shl i64 %".597", %".599"
    %".601" = or i64 %".494", %".600"
    %".602" = zext i8 %".528" to i64
    %".603" = zext i8 %".532" to i64
    %".604" = shl i64 %".603", 8
    %".605" = or i64 %".602", %".604"
    %".606" = zext i8 %".538" to i64
    %".607" = shl i64 %".606", 16
    %".608" = or i64 %".605", %".607"
    %".609" = zext i8 %".544" to i64
    %".610" = shl i64 %".609", 24
    %".611" = or i64 %".608", %".610"
    %".612" = zext i8 %".574" to i64
    %".613" = shl i64 %".612", 32
    %".614" = or i64 %".611", %".613"
    %".615" = zext i8 %".580" to i64
    %".616" = shl i64 %".615", 40
    %".617" = or i64 %".614", %".616"
    %".618" = zext i8 %".586" to i64
    %".619" = shl i64 %".618", 48
    %".620" = or i64 %".617", %".619"
    %".621" = zext i8 %".592" to i64
    %".622" = shl i64 %".621", 56
    %".623" = or i64 %".620", %".622"
    %".624" = zext i8 2 to i64
    %".625" = and i64 %".624", 63
    %".626" = lshr i64 %".623", %".625"
    %".627" = and i64 %".626", 7
    %".628" = or i64 %".627", 1
    %".629" = trunc i64 %".628" to i32
    %".630" = zext i32 %".629" to i64
    %".631" = trunc i64 %".630" to i8
    %".632" = zext i8 %".631" to i64
    %".633" = and i64 %".632", 63
    %".634" = shl i64 %".601", %".633"
    %".635" = sub i64 %".448", %".440"
    %".636" = and i64 %".635", 31
    %".637" = zext i8 3 to i64
    %".638" = and i64 %".637", 63
    %".639" = shl i64 %".636", %".638"
    %".640" = or i64 %".460", %".639"
    %".641" = or i64 %".596", %".640"
    %".642" = add i64 %".634", %".641"
    br label %".3.endif.endif.endif.endif.endif"
  .3.endif.endif.endif.endif.endif:
    %".644" = phi i64 [%".430", %".3.endif.endif.endif.endif.if"], [%".642", %".3.endif.endif.endif.endif.else"]
    ret i64 %".644"
  }
  