Files
Catch2/tools/scripts/embed.py