src/dejagnu/example
