src/TeXmacs/examples/plugins/mutator/progs
