@neauoire @aw .WAT is the text representation, which needs to be converted to the binary form WASM first (a boring but straightforward transformation; I typically use wat2wasm from WABT for this, but someone with time could write this in Uxntal ;) )