100644 blob 84ce68053705170f9181f1351aec56ddcd49e872	embed_wasms.py
100644 blob c1cc429eeb6987a3b9bfc823f144cab909e3847e	extract_wasms.py
100755 blob b8763aa73f6fb5c38ea600ebd3c6684032d65881	run.py