7.2 Directives used within DejaGnu tests