bavard Internal package with some code-generation helper (txt/template and asm). Used by: gnark gurvy goff