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