On Aug 14, 2012, at 3:13 AM, Tim Northover <t.p.northover at gmail.com> wrote: > Hi again, > > I'm afraid I've discovered one last revision (hopefully!) Hi Tim, These regular expressions don't look right: +; CHECK: {{[mov|vmov.32]}} r0, [] is a set of characters. /jakob