Documentation for FileCheck: use 'option' and 'program' directives.