pattern search results for print\_double