pattern-avoidance-machine. Generate optimized C++ code that checks, for a fixed pattern, if a permutation contains that pattern.