Use '\x01' as pattern separator in engine.py