The generated #Uxntal code is
|0100 @main
;f_10 ;f_11 ctor_22 if
BRK
~print.tal
@f_10 #002a print-int8 JMP2r
@f_11 #002b print-int8 JMP2r
@print-int8 print8-dec JMP2r
@if ,&true JCN
&false NIP2 JSR2
&true POP2 JSR2
JMP2r
@ctor_22 #01 JMP2r
@ctor_23 #00 JMP2r
@free-addr
#002b
#002a
#uxntal