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