From 20d62e22b7f2bf08892e174ae1d23b8c5be78642 Mon Sep 17 00:00:00 2001
From: clabby <ben@clab.by>
Date: Fri, 10 Nov 2023 08:32:56 -0500
Subject: [PATCH] =?UTF-8?q?=E2=9C=A8=20Add=20a=20project=20example=20from?=
 =?UTF-8?q?=20@willemolding's=20`Cannon-rs`=20project?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/mipsevm/src/mips/instrumented.rs       |  32 ++++++++
 example/Makefile                              |   7 ++
 example/bin/hello-willem-rs.elf               | Bin 0 -> 29392 bytes
 example/hello-rs-willem/.gitignore            |   2 +
 example/hello-rs-willem/Cargo.lock            |  73 ++++++++++++++++++
 example/hello-rs-willem/Cargo.toml            |  12 +++
 example/hello-rs-willem/README.md             |  20 +++++
 .../mips-unknown-linux-gnu.json               |  29 +++++++
 example/hello-rs-willem/src/main.rs           |  36 +++++++++
 9 files changed, 211 insertions(+)
 create mode 100644 example/bin/hello-willem-rs.elf
 create mode 100644 example/hello-rs-willem/.gitignore
 create mode 100644 example/hello-rs-willem/Cargo.lock
 create mode 100644 example/hello-rs-willem/Cargo.toml
 create mode 100644 example/hello-rs-willem/README.md
 create mode 100644 example/hello-rs-willem/mips-unknown-linux-gnu.json
 create mode 100644 example/hello-rs-willem/src/main.rs

diff --git a/crates/mipsevm/src/mips/instrumented.rs b/crates/mipsevm/src/mips/instrumented.rs
index 4ebb99b..0762013 100644
--- a/crates/mipsevm/src/mips/instrumented.rs
+++ b/crates/mipsevm/src/mips/instrumented.rs
@@ -227,6 +227,38 @@ mod test {
         }
     }
 
+    #[test]
+    fn test_hello_rs_willem() {
+        let elf_bytes = include_bytes!("../../../../example/bin/hello-willem-rs.elf");
+        let mut state = load_elf(elf_bytes).unwrap();
+        patch::patch_go(elf_bytes, &mut state).unwrap();
+        patch::patch_stack(&mut state).unwrap();
+
+        let out = BufWriter::new(Vec::default());
+        let err = BufWriter::new(Vec::default());
+        let mut ins =
+            InstrumentedState::new(state, StaticOracle::new(b"hello world".to_vec()), out, err);
+
+        for _ in 0..400_000 {
+            if ins.state.exited {
+                break;
+            }
+            ins.step(false).unwrap();
+        }
+
+        assert!(ins.state.exited, "must exit");
+        assert_eq!(ins.state.exit_code, 0, "must exit with 0");
+
+        assert_eq!(
+            String::from_utf8(ins.std_out.buffer().to_vec()).unwrap(),
+            "hello world!\n"
+        );
+        assert_eq!(
+            String::from_utf8(ins.std_err.buffer().to_vec()).unwrap(),
+            ""
+        );
+    }
+
     #[test]
     fn test_hello() {
         let elf_bytes = include_bytes!("../../../../example/bin/hello.elf");
diff --git a/example/Makefile b/example/Makefile
index 6712cd0..8dd54e3 100644
--- a/example/Makefile
+++ b/example/Makefile
@@ -6,6 +6,13 @@ elf: $(patsubst %/go.mod,bin/%.elf,$(wildcard */go.mod))
 .PHONY: dump
 dump: $(patsubst %/go.mod,bin/%.dump,$(wildcard */go.mod))
 
+# .PHONY: ex-rs
+# ex-rs:
+# 	cd hello-rs && \
+# 		RUSTFLAGS='-C link-arg=-no-pie -C target-cpu=mips32 -C target-feature=-mips32r2,-fpxx,-nooddspreg,+mips32,+crt-static,+soft-float' \
+# 			cross build --release --target ../mips-unknown-linux-gnu.json -Z build-std -Z build-std-features=panic-unwind && \
+# 		cp ../../target/mips-unknown-linux-gnu/release/hello-rs ../bin/hello-rs.elf
+
 bin:
 	mkdir bin
 
diff --git a/example/bin/hello-willem-rs.elf b/example/bin/hello-willem-rs.elf
new file mode 100644
index 0000000000000000000000000000000000000000..686f5a7da7d199ae7385f8e3c311f9e5d3d11512
GIT binary patch
literal 29392
zcmeHv4|H5tdFS^=BYP~#$;go%ktoR<>y0GG^7#Fq_Yx%@$#!CjNu0zXCZ!#{nR#QW
zktH#b5*z3;HU?5wkzLAmLpMw1KMAHawi5!RT_8#dG~Lpkl$HX!IXz03KcSli(*vgg
zvYGvT_q~xuvSd57-9P8-JAQuezI*R?zx&<q|GlI4Z{K;F6p=`x@QP3jZxUrzd<;*M
zXyn`|#q04V(@N^17P@Mbs18k9DHGmAt!T@46nD@cFO&&yx>Y4{Q++rPhTC$Udc&JY
zMcaO~UJ=#<j)ZUFO|%Vld^7xLVf?$hh;Dh6GT}|YD!8llccHx0wE`dG=zsU3@#Fj*
zH}?-oAx9($_|9Kd5^)<IukQ9c?j`lUz8_`2a_+ys^5<XuthwO>?f)px9z`9uVR#a^
z2`|u$BK+RdMv>0PzVyDjkIyDLzgU?)`vr=heU{pe94agEjOa^8K3-Pp<kwbl`)G53
z6Z-XaKKAT+)U|fH^}8=#Z<VX{M*zESmSUY>BpKtKZ;D6vGF)7%QGNkqn`fUS_3Sz7
zrYBkx<i|F)$dup)lZSv$xtvs*v96I=hCF#ADXop&9<3tp;f9DD>jcg#N!tAU6ex7|
zICUuzlJHbwar(Wp$4EXqO-koUig$jJWQ_guh^!`$9HaP=lhhKIse#Aok;-HyNQxg6
z{6j5eYUJ-t@%kQq;#z&CnWASv*(1R72=K+c%y3@Lk;kdEDNgSTnu>Wn(*rI(`$=j$
z`vkQrD=5+vLHTiNISX9SeoyBKY6V`7lIZyf+9*ojCX?|M{hpw1wCln=wxNxD_5}J)
zld2>(y$fx6I)OjN`#Rno#tn4*mI5(CpEjQBi7Fi6r6g|Ik9I8#7w@~8;?fMt%pctE
zMWz?vbpbaqCikbAt|Z28;da%2cy9#`pdrScrna#E4A+afp&!prsRw_ZBo*^(!FVqz
zecE|^Zxj6=Cj~glj6d46hU4^Leh$Vn0k<ohm&)*aqSOo6y~^PXDSa7=Z=;npeAsoB
z%(?)=AP4Kl>%rv({kCU_PIk3Zef$GdzxjDO-j$&GuC4Lu1+co8gT*vD`x)x$xr%zh
ztKDax!W^E&nw+DykLEIRONQEdngcvLv@NeIeOq4ZiBoT6{lo2yJ2gN20p;#3uT4cV
zN{3dd&|R$?<NegA^g*s7t>rWL9@!dCOum!n5y%|3<#sLom4D)PSTiv%UaR966TH`b
z1UMZ5F5pEOJXw`7H5QlFF%9?v?ymsnmZo^))Z}6CF5W|)ZJqoOMJGQ<P0Tm(=O_l)
z)G`y&k9h@@Ro2^zplN-)5%daZ9nyI6Amp<hFxCU_@LToC{D^TC&`k!t+CZ;X(5nS7
znyLJ7l4i=u_zYb|(?^p~iZbI0J~|j7ISKy3d?Wow6B!k>ZKTYjNhQkP=zS6DN}}oN
zh%6@|%ll}yD~b932kx(2MN*_+PDV0as9U`@LTd7iN-^BgGlr1c7SO5{G;0Ixn1*6*
z&`aRCc{vB}v%tL#`1JPFQwF$X6eXhyIjE=AD6dl#TLErS9v9_y;K$c$ZUbI!?PQs+
zr;SR&X4wm5NU=4p$2>l#blUIY_899N#@Y$m>=5wlAdBZ9i_lG-$5~$Oqkz}VbOD^M
z5WWdnQ6VeP9rgYAz76t(HI}k?&k*KM{c4is3*R1$kduVIf!s#c9TDFIzF2KBzTgir
zc0GY^Vs4LybK>>Je5F}D`C@!Sev*E`A3(zv(66;--39Hc>pl6~Xf(}h)o_lcvE~`r
zSX{yS)&Eys&saQiC4WPkr+J<W+pLJzwh8(*2|fVN2kTj5U#fU0kt<Kqw3?)Hm*5=+
z4_Rxc+glry$ayeqti8K%UZSn>jiQgz+JL#8R}WJ~iNt?5q{kK94{QBJE@Rzhm5y{5
zzA+sF9)V7$=~xo$)e8H<dOoW3rF%%mdL75QqaO2mM%kWrK&z^Z%2hl8Cy<kK(ED*Z
zI3;CF*gioIMS`vf=Wqt!J8*;N*D4A{xgFps3TzhFfffQL^D^Ta@?Ts@q-W>(FTFFI
z2ly{t<-euI=XsMDzYH0gAG_yGjxFpAkEtk2jvd(k&w`hqhF*m}tJSSNYeA1=f*x!O
z0(`(jG{gD>JYGJUq*<)->~!)B+I8RteF7ZuF7yW5^bD=z`bbM`V^u#yr0GVXBQU?7
z7L0RHjFYI2!#afh1eTpMsO!KD*zXYY$Gf0Ao{|1|60~m<I+%4a>txL32<C+Knez`8
zt;t2{vZ(Eg7hAs?J__Zsp|V)dGp{OtQmJ%54}0?`F@>bqM(T|v!DsjLe7j$!RnYx0
zdO6;p^irJ?sk~0>;|lvk)Ddf^^}-*!liN;ylA`fh()gWLWZEISKUG#$UJt)_^5@C_
zf&Zp=C8gusukth2(d3UNq!;=X>4UL$_*_w%c9Kch9O`lu`tF`~`uouYeR_XF`l0Ca
zD#MX}IMCiaP1o={+SbvAQHA?RFN-$+jlX{yIykwNqLZiKrhbstot~!Xr(eMR7euGe
zQ1tX462;<msnb5nWsF;nCz)pKi!LrNg0-4q(e!9i>K{l}VPfv9P7edtA&Q-b{XG3)
zAW;LeWw!FO(*qZdRkNnB32y8BnmR9WU0@U37@)CkIi)-ouGe!5)=SvArPr%<e!beo
zdL3o@oIZgY^O*dwSU2Gpz^87aPsTQ49bma}oya8U713vki<7@av19^kb4;|U7i+mH
z)-K7rlAnfzd|Jl5KLQ%xPEpYIYiyeVGX~zN_UU3c@Z%G--f2I5J8;MVhlerl?eM)$
z3AjS0(f@I7%KqWxD;#Q2ipyaewm-anzaz2zLz_pUm`9lepGlBSI?1rWW93YePGG!)
z0=AH2rmL{QiYs(tpugP$K(3~K^qr0;7vUs)e&rZs06a|_Vys_dk|bb885htgLCIMA
z>0Zo<W0RRVe%b>(KhJ&u<Hb+-{_^C@cpf8#UPeFA6EfGsU`~G*G&~7g5k*u38nTQ$
zk^oIX+ea|F)5k!sV`$hJODKmcm3X=GU3??(IZb{Fbdo{qQ%)lOgUUZLJZ{rcuDmA6
zY)|XX@i+Q=L7Q*#tMW4D6vdpBU`~*KrrV2LCq;l;C+5WC)yya4*?@+Z;Mrwpy&DjP
zPsDZ*@qi4UL{U~!wDWPS%?jX@(9SD;jXOZAZp1())>s9-cEg`(gH7E98@dzz&kj5}
z4(dW(MvRqkPvJfAhu{ZcZNIK0-4}Q~$j|w1=n2qz-RUys&g&_38e}Qyw9}u$56H!p
zZtyGGa4b!bhlHA^y3;HX>*I;jScmBkPz%;Le)=Fa;f?`Tv@Xycfj?J|cua8~V|)VM
za=wP%V!q%z2X*(<)J<|-t-Yri=0WyR5Z``~qVT!CjXB1Tz?Xw;HlRImOnc-w;-vMl
z1fKCTT!yV@+aKb>@$LoRFpjVXXU`#)1N^3V-FD?L`wfB5M(wfo5LP^dGv~u`na5^2
zQaJ`3*?*H>CGZwL^BiW*K1)5Y)eihT6Jw~8Cs<cLoJ3rs@OV?8qp}9~Ht_L5JP$)Z
z<iVr;;6eRpVk$vR)j6)n(A7NNWFJLSy%g`}xM+P$!P-C_;97GuvnCU~qpiiCK-Ytj
z%muN6pqWyQ6*2+7ppO)bM?WF(!8<>}UmSZYY~w|I0vf}gmcdidqr9Fge*u2_7JU3G
zcs#6$93j|x%op(k`*J;?Uku;d@QmWw8q!k@=_&XWepnZH!B7%6F~5d!fO|gV3;1C-
zDF6>2dqMmW_(fq(L^%N;rk@gw2lQ-|>HEv&L!y5N9R5$`Ll(pZ?8C)HELcvikP!#+
z++K!mufBg5YJZxp72m%D{y}CA^6~zN>?E-!%!g=D-_1|tWnyQDZBf0=YhC-kMh<vO
z@QZu_zld?GaL`t)^)hXRObGZGkH<O_5n~$st@@q6;hpegnY<uAVfp8^=k_e?O5)}W
zbX!fH<)&w_My=dN@FVgpfo{8b2d283d5h=Fa3F&UcvprDwm}A4Cyx?!AA>i-@dIRW
zs-9v~;LVm};2B)-U%$ffRrnoFRV*>B2^|w-e-?B4kId7lM2rAq6~=GT6SM_+u`=>W
zYpHqFA@E%U<r%a+if^1#k|GIVA6N4j)Z7@+*P~A#mC<hY#Bo~3?ZUowY6vgv515S+
zYHmKHx6>A`Q~S_2FZz}l#)%VjbqE7(n|S;v+N}ia^9*-tO)y8&;iqcCzKYlh^CsAs
z7M5@J^GTNzk-K6Eo*&kw6>{7LITm`9*Nf@Ou@loL0=)s6m$@&)2d=-%Qv=O~PGx<@
zdYjj;D${|!xOors!d!l3ZjBb@KtxPD1087q_XO6)0PY<E_c-T6@QoM;&R+=J4d6Zs
z{m=YVle-XnmcV?F)0o2_JRa!}@kf6i1NeU>#J?Xr^BBhm+!r#%Il4CWAYG}%=)Uew
z*qlGjG*Zq<D1DU*{GP=0%k+MVu8MSjnBwu-%1?=9Xd9Kg57I%wXAC$8{~;1@XFCC1
zC&9i)z)$5`zHW-gKCg7#{2J)<ScvPikb`<EgVyI!_X;4fZMhhZ>HiyWWc)*V2DzIr
z!9V#tZ9Drp$n0lf7oUb*{0!{kQ}AV;gkOVv4tNH>;=@VhYHAR6Xcg!WZyf%P!t%~M
zg=Y(%F+62Kn?%p^0e>|#m})~qkMzbH=B;m35SNu>@fG)*X1RO>ZIRPynO-k!RO_Tm
zP1PLYkxx+@bmd2oNlWU_Q3dw&1B`cMgWxrf-vP(3`NlZ`wslHm1AL?n@dWbhF|4zY
z?PiTexE^avv^|zM3O<deX^Z&wI7uyj<>&kkm|qm%daFLCti%rytS+uYay$HYA)|}n
zY!ZDK&IbcHieGsx@b8I7WVk0q8+?b2C)$=tJR;$#Ivs?40D8k=KUN`A_znVR)JK=8
z7cdq0C1DKlD#MN!L_Qs`=jJE!RcI%*6z1mlEVt#{l9Y@m=q}+)pH<#U64Q=-HKt8V
zy7C9yjMrI`ABA7O;>(hJik~wPc?a?fJCdlABFJy9xr?rkppMt`EY?lX7CM;w<6A4Q
z@sY<VUR__vZWL>~Hmp}7PpR!J(`%lpyqEN@1bu~ZK>jEl>%e%sy4SOQ55}!|evkX0
zT>BKZ47#QZdZiosMnz7;L{7s&PNU}tc>D->{Rns-vb>XJ0eW*6<aQdm<z3+aJ>dV{
z;Qw9V|DE9f9pL|MN5R+NBWP9VJz%Z0kkoMux$G8-g?`lzjI|SE?ZQ~QF&696cR^pX
z9o-g=(?4|;d|00K4D@6Ux~ms-U>_d#j%8-5fIWv~&tHb}^L4Vi8m2tR7vzH0#x}BS
zC>>bK400mCVd|aK6oF3T@2odLiwb3?lk27fUx51xnApEz7z|gyNcQ}7JOkds#c;Tv
z0=yU}F2gpo^)w*n`4q)@4A>(1#M9IUcr8<T_?pNUBCZj3e`+tqKRQ4%#)(Z8sR?Ze
zZK5YmL7#jQI^;O@B>QgRrvu(F5hsa#8pazi6vpQ)_y%)AwnOlX1AZ~VBa3l<u{yu1
zEerjHC~STF1o$f!U-{eUCv_hSd;o^09-}P`3pSVifM%*+bqMb>+!kf_X{9h%5cmM~
zjS=;@=u=nY2dv??+*h6R0YrbmgAY*Od`LYZ`b4>Y2|wT}_yG(9?VA`z)d#>n*ow`d
zZyfwmYkP&Q=JjG*4SMr_6WX$0-}9}d+A^Faa%X|fKRoAK)za#vH$khH{+YDm{{O19
zVjHxyU$Zp5CfRO5FM$S)3uWV$Xf1tNcA1anbi|jSBR&ru@j2*-&q7B$4IS|r*w3fH
z?@z*ho<r;$LB0<@685HKth+k-yzsST*h}6UQNXX=xLYBE_cQNK)gfl?5B6Vsq?Hw=
zP^myq#FTr$b9KiuolnBozM3SHb>czfKy=7Hbc<qBROpIZ%^g!;h5nzJ)45$!U#Ywf
zIZ~=Rm*)VT`yfAAMp@=Q>QNKcMMatIcK1}F^4e6c@;Ypsh$UM7Jzb%27Aq2);T%Zh
zn4D0yn>#@3XiF0N*0`ANld#{hc<gqxg)Rx6koOkIcN{R!1LjWvvx(aSW>Xa=!xOM>
zy#UtzAuRC(tTw=E1)hkGV>6LsvBac;ab4szSog_Y99Icj-Z4gU$HywO>&lh?)bY3M
zKgNEW$DN8GgvbQ;5wwf-)ZI`~wt=3JM`xJ6CgOX=gnkBH=>x5bQi3mNq5Q-mx<0-n
zU1c%G;mYe%ABR6akCVv%c8pbC>-ZSO*7a9j?fC3GPV7rzyl6z^vuK@w0h<OqMQlfF
zVl%vk$af_sJCKV=3jNqsyQXL>_!IN|L-3u*4^&|ye=Yn1d}ll4z$W&<PGw-Hw!u#A
zfSuY2o45-$aW`zDuvyISu!;TP_h-&N3%>pm`1<qU>(4=de-`@tY3TINfPbF?FFy%h
z=6ueV=v_4XF!nVb<+%77-rJaZhp;6Z!8gtD->@4w-9WdVO5mO2WHHxN0)DwnH}Sj?
zzuwGvDs`1-BmIa2u%>137W*#B<5(vzc4NzQ<rmZ&PsHM@f;b6dbbf;*hRJh<?b?KS
z?wRTZ4Q1?Kf{MVeZE6>2d``r9g0In@b7v;z*80&t_^Wl40gsoFS4vDKZi$l&yT0~R
zdjvUFjCGH&jrW27?nX>j#=Z*juMs(u<Qz^@eASW2Y!~lQvcLM9>=RA>40aiH%m;Nd
zD#JKLnRDpJ?VCQxbF1PByuV5Jo=Qwz0zP0DYhm-g;$rxicU<^nH8?`9TcC&3GpPG$
zFUiN>0b6|^?D((4hQp>sW`jA@%?KHKJFi7#ZLD2U;p4<B6|iXF$9+3!%VWa#RpS}>
zx46XI@I3NuYGN83!QQdpf4~LKF1I;?aex;c$M|?};XaHH`%ttt-bd1@KHwB*oS4SS
zt|i6}>B+RN9h>J19oW3)Wx8I>o!en9)pZi<gS7%Kz+eeH(H?byPag*#o(po9m`}XA
zhT)h$>xcudNTnj?eDAr9%pZ}@;)%R7)>DRjDUh!&$X7SyOND%ykS_=F)dLyHz^+t%
z!5xsVAP2H2zLp4kge*(bkFrnL%x4>fJRO+FN9-SF#2#29%RFR9=zysM0pBryi8Ua>
zd#8Ecp$=H~3<2<Y5%S&*Iq!m;E0A*;a^40xZ-tz<K#t;*AD|d=ctl&p*uV>UngrHN
zLG0(w$8NEB!{h9S#`}YOC)za86LLZUeS2cm+_MVjZ?MM(I(}2>gna)7N!kNciC|y5
zd4P7)jpc;$ee4^|(v4E4HHo<9S9lKP2Z-vu%1`+Hs7I38O<Oj3m08I0RoZXR4b-%%
zd~}E++9Yg2cYhLf=TV1I(f$G0<c20#p}WewH-hoDNN>YFU+<pe+JVZ;zyUe92C+v)
z4Xes1V{c>C-%$6SBsDY=%5_|p4x$X(4xYJ<^Bw5(35E|G)BG$Kh@uB^)(=<rL4g~z
zws>b;*7Li1kSaYZ5hoSE{}OOQ+;?;@MX-Or<tXy_6m2K<`|u<4n8!-DOy7}{ut`bi
zz$A24b4z<Lrw|XN7LV}T4NH8xruG};8vh{cD{Asz=VFO+f~YG|nE|eiY@aZ{K5iGn
zT~!NX9sFu;!{6xZ<%W2M-bqg#Z9v{8nv#TW7xoWLaBd;g?T|OtUCZfqx<}x{Q0b$I
zKsQHnr`lontNK}H{mk$J{oF9l`k7@_=vKgH7|^Td8Ag>qBblybl}9-@RprqII>>+y
zvcb<9bkJ_d`p2OE%7OlyVtpV7I-O&!c^%a7ILAyv2YDp(JKBo4jK{3XA^7Djj1S8I
zbd1ocOTZL52Dp8k^-MUw$LZebjRE~DpJG}sHz$_4NLlEjICK%`+ghQE+MtVM=pqHW
zs0%u%JGAlY(SvjYVv#tPNotOSWjQSO&FO?iXB$`_A=YRC><rB!ChiSlRGus6iBgFm
zKg{bK=~t8Rfm@+RTHtHG1#!whvd{ZF@aK*k2ajZ^o#~=_BFD2H^pO~M*et1~H}Hdg
z2mOF&1vXviY48Q(4VxdFbF9*X;~DPH>&$*J<AZqV8=!p?k5SuhQJcR7&Hsrq<s{=l
zQhB3@>ldGmsG%KbvkUt2G<4)C%<Uv}<TP~TW0Row<Wum~p2UFD<)rQr`#UQm{qf{F
znd<Evcvqr^GZJ#`m?NHK_6B)(wyT`e#J3=?xe|HJ4%nk79ON}sk=NwC*y-oOyyk~M
zznKg2n(KJ3)x0L>gaP-WdCfCdVazo+XVxtI#K%DYY4FZTtnVrC%ju9`&M{2^YjMsq
zh%x8msrrSqy@hiv7sR%(BVun2=LUnEA7pE(c6>f5JnIJse${7anRdc1aogJfcRO9Y
zE#r##1aOHmtT$Hvf@Jt)HFydcKsDBR@%*k>G{0T7{d%NVf8SjH<=^O$zG#^3KRnhW
zU1ylefoFT9kA99}n#q6D1DHX+=`)BWpF%A8Bx1>Pv=cnjI*B|v)0t%q{M@7@Z+Uns
zw5`0B;N?7@6`bl5@r=+ZVqNMe!ZBATWR2^wcc*fD_62Z`^-;u6Cj32>+k$6%(AI$*
z;*8#=bNJrY3BQc#fcI96A?$4|-uOLcCCGPl>K+kqiM5LK%kWM9=NHVxx`T*KI(j0{
z9XI=4c#ICkJ5Wx-=YP`d`%wY=)Ezx_e{sE;fA4d2qO}9%B-cZ3#h&RL-k<rU@IJf*
z-ffI8`}3er4CiRYK0W59D*0RbmBTp8`$P~+;>o#dS=kO6_agp1i9LGwuAm8@CC;GS
zgL;Q?oTsBWzl^g~pcCSHKBL8Q4c~7kWM&s+W;bMJ$vBG7CUhU{jAMVH6Z7A~a^55T
z)#nvtofI4cR~lO0Yj$4!&K{}$r{;!P<jH~i#+!dmAEviR%KnYX)7X37HvsF5li`xl
zH~K;>f?Pnmn!@)h<U^w$k+FL>-X}E46*Gw7|13jSyn9AHyz-4YXQo{$$cefuM%yWc
z-0BqkA;eX%sTnm<dE*#j%wuP$UGh+;kaQHI;9JMBW0aK21Ie|smA|7IIobUj6`;#n
zk{`wy7A_y82Fzsx(_Hyp<qh~W8H&mo<@><97)!u!NgVw!;2nl4gr66SH;qgyXpH!T
zVZlcKko&67RbE%3E$@Y2h`yCK(DG1n!_7Y*RWL_M!JJ_GqrDkP!d_FfcZRy~+?z?z
za~LC>gOmX7$c+lzVF!*uuQGl(C-Q9`1Nc>x!&o!m#W+Csc2Wkqk+T>$Cx*3d;W|7y
zCzuKLd~RX=SL?ICcJ^857tDuqP4G837Lw2=S_j!i+#FL5V&5Q!HR;-+NDB5LPKf=A
zdd7iH#M`?eOQ4~!NAc;vkKvfNd=NM-5$iHs?y7DFT;STQz%N^Y55Kjeou5iW<yk84
zNgnjDCHeqK$qgh)y|EkD%7~SpQxh1Y5x!%Bb|7zr{=n^7^5jJAc%bWzBDQ|nNnq~C
ziR?K<--{>AB>YqfwehC^j02pK(tvSSVJ&{Jr=7gkgqEN>Y5NX^8t#rr+jl9_TX!UA
z6&xq=+!+CHY?5#urMbWImpq3}12m(+Ly!<ZO9ML^(f@Ul<TBRi2L%2U@cZ{99~q*i
zM?8u>GD1=CUnezrhe&$&A>w_KE1x?g&F=4{)q~HIwCZ`f^1$=b>Hg#+`!GN%mXu!G
zp9CG^()ac&SXV{*P`^T}-+f4$1|0N}&I}}_Ck7Ph4|XM_f7q3v8)J#Jh01@E4(>u;
zp()t=k$@-Xy<Ukms+c25U1g>N(}43`$Va@6wThDD1~@Suov|d32Ri-}wYLg7BF~Jx
zg{)BBH4*sk3WyJWg^Gfl!S9cVwFP|`W-PuM*@}64gS}Is%W7>4WF}sfH^@Z0+C_CR
z*{kSbtS|gNK9_j(Ww2&1aO{J8Zxw#<FO=`&{RQl?NZ`v;U630`QIAm_`0yIq8&9;(
zQi8`8=f>(|GxVuF3ShTFw%U_}6nzA7mwF?$N{zATBO9?F^tS#L(!p5rw1+;(^~2X-
zfBQA?9%87~yBSu?416`<gz~R*8Dj`Ors+)b5ea9+7WVx`GDcDLtH5an?LG+{Z);5)
zJ+{PLu*W9o2H4Q^y*L|HnLM!N{8j6Nm<YD@Td=3H(p;&)rnV`gTh2pf74`*@&v<<b
z7V~NiIXrxW&X%FOtLK`#s<OuT@)i8n=p*sPzcq?3`J1BXN#XyZA7EEu$^-t;(1`rd
zNNK2$Xvlj*Lw-T-zuO<17#hFnritN)O5SMKhJJZuSoVhH{_Ukwzx<##G~rXG{zZU_
ziaQf~W~`Loyw4jPPL;-pGWHO@H{xE4`?_7;@L>KXnZG}b@=A;{l9&BbX{3~pyGBbR
zIWISKKpvSGmq&{7K7Zdx>A(hm|LD+QesEkK<=&f1BO~LRQ+cnncVzS4!ST)c0YCo$
zdW>z(d&9#c!<$NDn{ox$P8*hL8jhx^YHqWx<s9F#s!aw*HZz)I2gZ1!W1IJl6a>1!
z>(7DLuj1Z@d)3yF0_GRnh4*lND_``6O1@V(Am>Ja_CtOF^&-E7HqgeKzVk1F;DGOq
z3KWM1bBtLg&2(gbWq;&~n(_^c$~U6iumFdWzjttKymUao8yqh9`&0RnH|~$621hp8
zMJ-*>^<2)=ELGKtn}-I6AMgv=A#}-#<?+TxN}JS_rlu?bVPIs)2TI=9m|q$n1UnSH
zLGa2=vNtricNkr{L3V8LJ-&SFEiyl|BgLC;>e+$Mw|2n<XVM(+=0Pr|>#7R@T>`*-
z|F?1fH^ZuwY0RJxUs$Ufp02^=L3~T!R`S91!&r5mjW_0x$^L#&VsLn`%vdGlKCd7b
z(F!U2c|3lKzN_cU5niL_8dzN$mIfzx{pzo6SP0V{N8cvOAeTaj!!z#3@dU2!@8MZH
z2Cp-`kmgA|L*88X5@psplv#J$lZzvzecrf0e7xjAcn0^44*C21;c-taTFD=uC}Fi&
zn1%ddKFuEkEWVhJqahEKCdS4mMmLX-j11)mAl74>hX?l#j1L{yq^r8INlkCk+)eu(
zJ8PSpCWapv9(ibZ6L@H1|E9ge6X2%YW`@8|mN<Urk0lTMDA-GUF76u-<?kjF<Cl;n
z$>Ayg@5G_xJ(PXW&jXLVH|jy(Ko33Wmx@Cp4}mr}r+`m0Wo~)~Pw+})9iH`|w~FTl
z^#9k#J3mtLtEAgJJh3kzAMhLnJ`=bHakr@ZRS31JtA=W-mTIeM)lpqd)ih1l49(Om
z&DPSIqq$g2P1kipH+4(5^|bEjuAv&5p&N!_8kS)jX~QvGQ#CbHHx1J?Ez>sBrenI6
zYH5~k8J1~TmTjdi$8v4e)@<E2Y}2-E+fLh#?WWbVme$io+Duz%JDpBDY1dI5&Cwmh
zF&)dXowVaPt_u`h4DSN8i*7DH$++&A7#iw>mFkwe8@jq0x>=XBK0QzW>km`r`f14Z
zVKy;1!OVK5`i$)K4!}ylZjFGwGRd8kX`jV26FfJ(NSO^~++W6x_Zz;0o=v!;7~>0+
zxo$sT?+JTTpV0kp55ZwuD02(zGJdiT0r{yuH@zgji*KnGVZoqYWp7;W?Ch4&j%AM9
z|2sVEO5X5ZUmhFxN)TAq)N<7p1~rgsc?`zTXY)AZ5APixU>K*+cMYC@jOTjk+Pa(Z
zjN`^HoBr&}cy@(llHPMSN$<NsYFvFCK8Z8g_<i@vb9k3&+ZC<bejg6c|G)m9r$7Z4
zPonzd_cH&N;r}kYZr{4~Cb{e0+{EzsgbYh>q|{B?geYno!VlDoepf=NgI(deMT0=`
zLRiFqF8~+9l7N{qk{XsHqIE{v9hNzA0Z!6*SdNC}^I<s{B4f>lWsWA%-d4ggN5m-O
z?*rfhuoyonbE|luyh^<E;_naOLYbpN!rvnh{u;{cm!g~z50qKnxh(SoWn?_&FO;vC
zFNu1Q<E?%}eH`z>obeK+%8&7gVSYSc85L*}>}B9tt-lWV2>ejb_~AEW0e&bmelBIA
zGM)tDF+FZZc~4FG4wO&UlnWvL68ba#qbM`IqG9>H@Ye<XLwIYrFJB?PAIA7U;c|%2
z$3V~Su*~#4P8qAr<*+~7Lve-uzY+QoNQf}Ll2A0<AgGt1EQ2d7-?ykd4&Q@yX0`v1
z7S>0CHNwZBf5gCi`cZ5P#*6$W%I`yYcUV3f#wQ`XI;=<iw^09upuX-`Kp*7C#C$=o
zy7xmLmQk;S^&-wjIUKJ}<OgcXKSKK#Q7#AVqv<eS2*-=EEf!aRZ}ibHUZ~dp1L60L
zXwVj{Prb;Ka)+RO{cWMo8n&<h1j;+OeK21A54kO0LHiYrp-&RFU-2tJ?OgrdMP;^`
zhw&|hx8lDD8%p$@0RBpyU{6u6hUJGB_FwrpWjcEB?PyppWRcqh_{0JkoG*899baMn
z)}S<39$HjpyC|-({kcWuzgbjfnG;vge$|}JhUJZm>Y0|}3hVtv<wJ|gzrU#b!lLq`
z@vF7f`89&yo)z+r8t`(%HC6qEat!57;78F3{J`~FLEo=|FMk3-g*-KsAYV^|Tl>TE
zr>gDaLHl!*F-K7!Ump?ezZd#Qu{EOHh`=Sdn#H3L`Xlfen<IR-sqx67dhn|X{ULoV
z?Em+aiSI_6$Aa;juBFV?yk;lEGUQMA$P~b9!f67;S>T_beszK}>mlEDA^xlH2R|18
z|6ExAhm=XRpuG}|xBAD>2k%0;D=1$9{TE^R9Sz!FF^u{08a9RXe?pmSu_je`SKyp!
zY!da|LHjE=!!P_>l(CD*^S$!jRo^}=KLvO^zqWvWSN>6zzNp7~T=|uS^W}YlEw7_J
z&lmbSt|R`!{OD+aPyAu5ukZ;2`0+o-Zr=>*!}&MIVIP<u;sJimJ2-wrSq=I(L*6%;
zD2MZJ#(Flh{x^g6YdWyLSo$jc*L<jIPtiXLb2CYq8(&0y2!G8B&^Ic|64oF3Zp{w>
zpXIwd81E|RQ;qTA?Q-zjRlf`Ryu$qh{IB|EH3kaGE$|=V8xze2{afA!eTX8J!}70%
z^JC)(cvtTZ|K`w80KcUG{APhpTUh=B@XM>PF6YDYUs2{N=7+xt;H|wL>-h}InV^2{
zA*?6s<Vb+e+AlAp$2!obmOs~FJz_QVTlYtRkNHWVd|Zu~Zqqry3+Zw7omhVvWyT-$
zy82f^|Hn{l4aUFvG0Nz`FA}cD)qjn8=C=@D>y4n_Ybb~KwLSoTIE8X3AFZc>|6kYC
z{}BAK17#<G|CSp>Oi$8yF#oqag#P`gZw==AmOlo)8DBYU5Bn=(qHz3cx&i-1)Q96=
z19`D#Q6|8HKXnc4Z4kQz@UFqh^HpV3zb}Ay4dhAuCMsP2Yombw1;}qxP=D<ZWj2EU
zK|is+*G^+SXV5?7w`*ToNdLATz{{XM7L3;heStj~q8Gw4^hGT{UnkelzX>Ts?1ij6
ziT0tqU#DVz-#|H(=j%#~`hOk#z6<r?`dtV9O*v@(YJl(cw_?6rT@K3wDD!-_g=NsY
z<vi*`e!Cv}^%fQ7kp9>Ic%i)9@DA|rcTgYF|Aw#ft{kp!1?wlv;4iLM1NbuLU)x^(
zhno3<-{kWP*E6x5GONLFbs;{9DUM44FXY$6v!KV<Q4Z;`9<gOz8RfA3`V{mx&u1VQ
zfBl2NCyH`_Prfv+rA8>5^>TyRac?i-1M)w`Vk(c1TX)}icXsDn@7bNrqO`51RPci=
zqhHF7@5|<gMuz<{G%1W^_YNVcJCrRTi#V3`CiYW)gfmg&ej%k1f6WdS_NTDhRr2=v
z*}}xWeFv%|ZNFoi80faUd*8l2TP@AQ%+J9TnWU7Jcg&pa=8&TBO*3z9%I}>>>6E?y
z4wKU*#^`v-NEb>YquIgX?C6k}_m!Qy6|PF9I0Kau;k|PEZbeHEAmgDIi#cRCOiy#1
z!gjjIAO>ayD4J~-(z>OoMX#8)3ywfQO<%0iU4S0OSsFc&I7p?$1K1ZwQmI{>4S%b6
z9ULC_OT(aYeq<P#-U%j5Ds{)mF7Lq5h*t<_l(X}B)hg<?S@1Q}vA16YFHIw{ACSeO
zJv4~DfPJaFY5A^NunSt=a0_ZKn4Cc0%rYUByKhr=D-*h^cw^#GL)mSEV<7ke#>4=r
zL0`j1&ZkgR&2+KgxL$7iJR#7)?Jez{;B4iX?TuwIC-eaRb{<KroQtHjVPK!Jc4aN|
zLeh!-fb1ZMRn7FLQuhQo|JtQ4+P3Q!&9r0ZkRZ$Z^MLJ<QO=fX)}7+Xv)nDHsqOPd
zv*2BSXv_y{o@?a_$eue!I#)1_0D@*MBB70mAhToc*xtJfoiw-LS*nlB85Tx2^J3Tw
zI%%%pyR6TNtL%U`Tp0418g|<83k6P{<qX%-&|81tJ;TPZH|Xczqx%oJ@1bBngy-*>
zwv$WSy5{E%(=8e`Yo}j&?fl%t-kO!mV=F~3s`;E<@bkW5%#({HOutaVm@y`tkPBVA
z0O>H1XSW@zXkpz$G<nM-r5BxCzL<AG636zPd<~*i5jHOzAYimSQiG{f--6U!IH>8{
zX|<^81wHTj;NpPPTFuCA@6MffZtaCiV@}K4hUMl8w(Dy-&x7nQxhs;=b+70n$7#7}
z=o$VJ*jmPgY$+5@piNQ`3S=cyshaF$h_mMzMWk6hUrpx=b}=n*w$xy``gSS%CdP%7
zEh}=1mQAzGqOMyeQm(qE`_4rbnz}%?^b6GzuPMYb#8tD4wr{AOm&>P-WCp=5q7Su;
zRhm3-b(R>TI?MZ(Q7reB2FHEI!hML}LRFDgEfce~TodeAa4^?j5~`*KV6pYVLRW;a
z*%s2)1z*kCj{Zx-4Y3VWp@~d;UMuE2S2H}M<u6J-XMSZ^Pu>>n^FSr&qh0}~Vcg$a
z@`f}$z<adh7YFwPb4$&GpKM<T)8`90>tbVQ>P1#a(=Sq~a^=2J><5;zxrxCc>_3gA
zpcvCGHeglNEZAzUAf&{)+=dzrjqFYNx^5RN$Fy^{icJeQl(ezY!Qo+S&Sl3(MpK$u
zF!Q+r_7foJ*wzf&T*Pdf7n{mOZ91dBtiiW0QmI`GtaeebyegMP+skfv*{cPq%;ImH
zX1DLi2F}=yZFf`l_MLb3_3q5xdE0IGY~P*T-P^ZwJN&|`x3z#f4KOFTP%rYvPCD(v
z6sZNx4dh3x5W59-uxqL5!4up(ENq=>Se~sx$zW5;c0CA4wpj4SJswO;UqBTD2M282
z`OyOyQ?smGE?vy&ZcfWt=|ygX?p~muS+%jehq_I5(|X=?^5EctVd(1i)X>m_`%<oM
zVDE}QxR!y<FZhTc64K*Y9BF_nws({~oJL5wZeG)hdNF51%)NZkD5i_9qvc)Gf!OEL
zDJ_6!Xj(dLV=E4qX}Ay=5Pk1xwgAs*0Z|R?_8HjCO@m<B2}8#e9WR$t^LfMeeeCoZ
zUKK@HeeC0@DmK=1(*)^-cGa~dt(mz42G|@N9%S##aZE1<U6D7_FvB(!dhNP03YH}-
z5pOFmcJ_ASSVU=uzh8XEQi|swp9El%hW;NGvRKR))7XbJbJ*{LIbw2os$+SEr<;zi
zxgeCCOT#CCwuN3)t(=}xLvq=mJSYlT*BzK(4T1#}ZC79wI0P3lvCDX=i%h2H<{i%|
z6yedQwY=#qq{6bgH$7mc(@;T%4u-Lfq8@Zyj_!Q0z~R#oJ8{xLa|G5no{=pMmT(56
zDAq%VX)xe)dqvI4r3>)gF<HYFlU>3A@P-ehQoX~%-%gJo81)fkVO7(rVHPxBcU9PH
zEf+vBe;M!HbTu%Wm%~aG9r!=<l(9?V$dG0PM~1S&=@1^=E2M42MH(bR&v}7O4g#~0
z(J`kuF`Q>#+rDl1&f&c8^0AKW2;R`Os1^!2-?n`ZGU&PKkiRv{babc%xWbl^c2(6j
zv;}<Xunj_JI;N@HcxiV}Ao8?|gZ>ax0~^|wpVK@Q@ttSpf<?l(e2556vr~;3OdJ7W
znb09zuI;<J?;8l8&|Yw?V}b~-TPWt>SXxEwRvT%p083SL+?<`ZQl_)K#<)D5x0dJm
zK+Qq(?0);!YKUB;frX?RZ%$I7Q)=WCHWv~K&6I=2@(tDmLF6CC<NpHQT24i{p0nVT
zx`tKEA(Rnh$r*-cLJi_bf^d#(111B<3v|o!5ivS2_yJuYora1UC}Z6*bpvM<(sO)Z
ziT!d*?569sC<I{`tP3{Sv)Dx!Jc<Rjp^)t~3=>W{6jUqp8ihPs;(yHv;;-OfR1lJ(
zpXHlsQL~+*XL~-vWFZXy3?CMX9Z)??(Q#n0@+#mKLJ@oO;abipxCJYXxF4ad>IdQ4
za=M6Z00`h$l@RdYz$sl&^T>r5`Mg$ZKY{2a80_BB(F;w%LI%@voU?)LgSIs^i}7P4
zG`E0kFKSe+RbWZZPB7r?fX}|I0mED{oV2Is3OQS2uRO~Kjk3cd;Yy7S4DQPgj%6p1
z9>EDiUjYB5^j_Xes~U$DuA0t;F?*oILSnFKwt`h!$~IOLA#8xErg0%XEF@X<q7G}V
zTR9lLP#P}jN9duFSi+CEJS}4^uVreDza>JhMS&5{|KyO!D0r}WK75VsBo-itqld$w
z`a_U4_-y0;{^iyceZ{)stQk%Z1}Ykl;lZ&1tgva>u39X@wTHFQ+(pSEOT;>8=DV6%
z^eh)h6rFS~44DNlr^Dl2ntQkR&^!EmkjmMr^a?MJjh0_}5CbE}GCCo~%)^;N&ctG$
zF;@(MrGxl;&PXhqS-Lz2!zg;H?b&)Ehrqe$V_uhMQVcs-t0kS##p-`~M{Q~8T;!+~
zkQmE*y5+gKJbam2yIqz4<wsc36`WW!0#1%OIHu;hIEjh`TA*Q;FvQkq3GpqfB&2z5
zB(f~rHV&c%3U}c;YXS3Q_u`N)x**Y*haYDm5=BBl&4n%m+_R<J$Y07QLS77~?20Zp
z*~3vf#wwc|<Lo7peyni<BeJ|HaZ2NJHbvE0*Rsup)zw3XFHkf{yIA=V9MwU<JA#xi
z-m)C8jA5DuXhOAENEhK6!D|f?6m!|{OXcQZ^ehK_U(Ba{nAB<<VZo%Paad48E*$wI
zB#^X#PcNyHsw!nUos>56796lN4*A)|e9p8%H@Hl;XE?fNs8%XeYVHz|%;ianc^Q)8
z2FLP{M+n}s;A_y*v^)#$Hj=syQVu!jG+x6n0rzH7Q;T(_lY^zgv1>nP=(Y#Am+9_=
zZs5}HPGIqb3@pqQ&l}Rq$j+*!>84G~@iaBBB0FD=B$o(wFOU9)dl5~=B6^vV55vAo
z&OHEk$tW^?QCnv_HBls(A(g5I61?qF=q-4o*l>AM8A${UMYqVQSGcu#Jq*1#P7UJW
z(GjtU!>l)#_VAJ3&x83K&2WlvN(BSXIU5)HL^!ED=Mz~4Q}YUz<@))2&MMaIY4CWL
z@Y<Ht+Jg(i0!Xy$aY_S@rH<T6$i$Z<d?=1f>0QB4msBa$SZE2AQtPE$B1N&J<y)Mh
zC?fXfaKrG^X$zqr=<f$<r)+6&c4TB<z-*Te07GuOENi`du(mYL3s=Q}b7UI`J#DAp
z2&>_<=XL)b=>Tq!7`fPP;xb%a^;_o?IJS-48Rl-_#5U5pfnT82?x|FhNh)Fw?4=_2
z=VR-rz=3w4t?)w{{sGXuZJhJc($zEg+3Fd5DCC@~<#YLhrkh0^Uw2?&1<SzLAvc1(
zG~GgC(Le}@JTvxSLGB#lCu2Ut=D?8Yw(W>x<&dlSD6uLO!g~(_gUj~b7kM*=3J2c7
zmY(Yu@=kh@3AXeL@{PfoEU#uja!lTFwW8)>TMU}n%;l@L8F|O0CKWgtbL3pg=}m_|
zudcz1sQSOyUJUmbF(g7V{KL6?C#~u@gfH}uUCT&IZn<5a>x=yW1oHU5kTYG+tW{93
zQ|8iX*}{Qg!JjoG6N#NLRg2xof{R5r@#6zEulrReZz&oT;hHTpjn;)LGoJ;<cBBhO
z%*SsMJWX@8ix@^o+j8Oc!c^bFI2&7iIFSH9*v~_F?I3uW)Am8swP4#w_X`F#b!==D
zBC^jHFE@BFLlt^4bu{l1SwdNW8;V{Iu5H1`rdrxDi-84OZlWTOuyiWZ*YdDudEN_h
zH9s9Jyj9CpLKK1x`pe@b-?Q=t5`=mhKE7`NHNuYnK7{&sj+cVxK=tkIZ{2lI3g=sj
zL*CvoN)3;U`zhq@0~^0-un>Og?R)DcJ^_;w*@%>gT~oqiNtH%~8A$m9+2Gj9K%qo)
zB}$2dDU=dtUMRJ9WSmmWZ7J+j@R<gD!f^O?R%tLdf#2a#YM%&x87V`@S)4a>T{}v|
zzXglnoLwu9{ouy$Vdt+{Smri-Fpt~e{1V@!;I3YL28gd)a97*yMmyXj<E~!Sc5lN6
z98tv?GI4%ioZ)|8wGp1xc6ZgZ!?`0q>uBJfyW-&+p92r!S+hiZi{D`4A+9RCUqgx8
zVIKTD0KQkg5HwlP&Yy3`zYh?<5x}{rxvL5fKT@s2<KGSNjo;qSU)6TMiBCK(e#yH9
z`12k9-XLgOZFjh)-D_xvd&zeHmfK<SfS185-z4*Y;e{$e!=rfe8ge@s?PN4nQLbLx
zjxRnZ&G?0N+?JBKs~6Yt{fUtZ{tnCBm4U4A(YU#b+wgS;cl8~wnS1$T%~h@Ar#Rpi
z)MfVI4DpM2$MG_H2X3Yd!{<YGb-2T8XBU2|^k>x)o>h2!EV-uL@Q+dc!s2%S3%?1I
AH2?qr

literal 0
HcmV?d00001

diff --git a/example/hello-rs-willem/.gitignore b/example/hello-rs-willem/.gitignore
new file mode 100644
index 0000000..d8d0e32
--- /dev/null
+++ b/example/hello-rs-willem/.gitignore
@@ -0,0 +1,2 @@
+# Rust target dir
+target
diff --git a/example/hello-rs-willem/Cargo.lock b/example/hello-rs-willem/Cargo.lock
new file mode 100644
index 0000000..2cf98e3
--- /dev/null
+++ b/example/hello-rs-willem/Cargo.lock
@@ -0,0 +1,73 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 3
+
+[[package]]
+name = "autocfg"
+version = "1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa"
+
+[[package]]
+name = "cannon-heap"
+version = "0.1.0"
+source = "git+https://github.com/badboilabs/Cannon-rs#21b8e555477e740da6f304cd6e3b349c7f0e7f20"
+dependencies = [
+ "linked_list_allocator",
+]
+
+[[package]]
+name = "cannon-io"
+version = "0.1.0"
+source = "git+https://github.com/badboilabs/Cannon-rs#21b8e555477e740da6f304cd6e3b349c7f0e7f20"
+dependencies = [
+ "log",
+]
+
+[[package]]
+name = "hello-rs-willem"
+version = "0.0.1"
+dependencies = [
+ "cannon-heap",
+ "cannon-io",
+]
+
+[[package]]
+name = "linked_list_allocator"
+version = "0.10.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9afa463f5405ee81cdb9cc2baf37e08ec7e4c8209442b5d72c04cfb2cd6e6286"
+dependencies = [
+ "spinning_top",
+]
+
+[[package]]
+name = "lock_api"
+version = "0.4.11"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3c168f8615b12bc01f9c17e2eb0cc07dcae1940121185446edc3744920e8ef45"
+dependencies = [
+ "autocfg",
+ "scopeguard",
+]
+
+[[package]]
+name = "log"
+version = "0.4.20"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b5e6163cb8c49088c2c36f57875e58ccd8c87c7427f7fbd50ea6710b2f3f2e8f"
+
+[[package]]
+name = "scopeguard"
+version = "1.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
+
+[[package]]
+name = "spinning_top"
+version = "0.2.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5b9eb1a2f4c41445a3a0ff9abc5221c5fcd28e1f13cd7c0397706f9ac938ddb0"
+dependencies = [
+ "lock_api",
+]
diff --git a/example/hello-rs-willem/Cargo.toml b/example/hello-rs-willem/Cargo.toml
new file mode 100644
index 0000000..4ea5607
--- /dev/null
+++ b/example/hello-rs-willem/Cargo.toml
@@ -0,0 +1,12 @@
+[package]
+name = "hello-rs-willem"
+edition = "2021"
+version = "0.0.1"
+authors = ["Willem Olding"]
+
+[dependencies]
+cannon-io = { git = "https://github.com/badboilabs/Cannon-rs" }
+cannon-heap = { git = "https://github.com/badboilabs/Cannon-rs" }
+
+[profile.release]
+panic = "abort"
diff --git a/example/hello-rs-willem/README.md b/example/hello-rs-willem/README.md
new file mode 100644
index 0000000..3b04429
--- /dev/null
+++ b/example/hello-rs-willem/README.md
@@ -0,0 +1,20 @@
+# [`Cannon-rs`][cannon-rs-willem] example program
+
+This is an example Rust program for Cannon that uses Willem Olding's [program template][program-template-willem].
+
+## Building
+
+The program can be built using Badboilabs' provided container:
+
+```sh
+docker run \
+    --rm \
+    --platform linux/amd64 \
+    -v `pwd`/:/code \
+    -w="/code" \
+    ghcr.io/badboilabs/cannon-rs/builder:main cargo build --release -Zbuild-std && \
+    cp target/mips-unknown-none/release/hello-rs-willem ../bin/hello-willem-rs.elf
+```
+
+[cannon-rs-willem]: https://github.com/BadBoiLabs/Cannon-rs
+[program-template-willem]: https://github.com/BadBoiLabs/Cannon-rs/tree/main/project-template
diff --git a/example/hello-rs-willem/mips-unknown-linux-gnu.json b/example/hello-rs-willem/mips-unknown-linux-gnu.json
new file mode 100644
index 0000000..650ef42
--- /dev/null
+++ b/example/hello-rs-willem/mips-unknown-linux-gnu.json
@@ -0,0 +1,29 @@
+{
+  "arch": "mips",
+  "cpu": "mips32",
+  "crt-objects-fallback": "false",
+  "crt-static-respected": true,
+  "data-layout": "E-m:m-p:32:32-i8:8:32-i16:16:32-i64:64-n32-S64",
+  "dynamic-linking": true,
+  "env": "gnu",
+  "features": "-mips32r2,-fpxx,-nooddspreg,+mips32,+crt-static,+soft-float",
+  "has-rpath": true,
+  "has-thread-local": true,
+  "linker-flavor": "gnu-cc",
+  "llvm-target": "mips-unknown-linux-gnu",
+  "max-atomic-width": 32,
+  "os": "linux",
+  "position-independent-executables": true,
+  "relro-level": "full",
+  "supported-split-debuginfo": [
+    "packed",
+    "unpacked",
+    "off"
+  ],
+  "target-endian": "big",
+  "target-family": [
+    "unix"
+  ],
+  "target-mcount": "_mcount",
+  "target-pointer-width": "32"
+}
diff --git a/example/hello-rs-willem/src/main.rs b/example/hello-rs-willem/src/main.rs
new file mode 100644
index 0000000..3cff4c8
--- /dev/null
+++ b/example/hello-rs-willem/src/main.rs
@@ -0,0 +1,36 @@
+//! `cannon-rs` program template, provided by Willem Olding in the other [`Cannon-rs`](https://github.com/BadBoiLabs/Cannon-rs/tree/main).
+
+#![no_std]
+#![no_main]
+#![feature(core_intrinsics)]
+#![feature(alloc_error_handler)]
+#![feature(asm_experimental_arch)]
+
+extern crate alloc;
+
+const HEAP_SIZE: usize = 0x400000;
+
+use cannon_heap::init_heap;
+use cannon_io::prelude::*;
+
+#[no_mangle]
+pub extern "C" fn _start() {
+    init_heap!(HEAP_SIZE);
+
+    print("hello world!\n").unwrap();
+
+    exit(0);
+}
+
+#[panic_handler]
+fn panic(info: &core::panic::PanicInfo) -> ! {
+    let msg = alloc::format!("panic: {}", info);
+    let _ = print(&msg);
+    exit(2);
+}
+
+#[alloc_error_handler]
+fn alloc_error_handler(_layout: alloc::alloc::Layout) -> ! {
+    let _ = print("alloc error!");
+    exit(3);
+}