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