100644 blob 17b4bcaf06de5328ab22540d02eb430082018daa	embed_wasms.py
100644 blob 2833305b92d5e3d3e502aeb502d23d865550d213	extract_wasms.py
100755 blob b98c5658c502d7bc489977bcfe46dcc744c7d384	run.py