Distribute src/check_pattern.awk