Searching in openmp/tools/multiplex