On Sat, Nov 24, 2018 at 11:02:48AM +0100, Werner LEMBERG wrote: > To be > serious: If patgen produces those patterns, I think they are *really* > necessary. Do you still have the source file somewhere? Best, Arthur