pattern search results for sce\_modula\_pragma