src/TeXmacs/examples/plugins/dynlink/progs
