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