100644 blob fac00a83d8b2c5c359d12776f0b3e571c2ee6115	embed_wasms.py
100644 blob c1cc429eeb6987a3b9bfc823f144cab909e3847e	extract_wasms.py
100755 blob c47c2e77048315a5d807dfdf38588be9b8045dd3	run.py