Parse errors are now printed to the output stream armErr.
examples/elliptic/arm -> examples/ARM/v4 examples/arm6 -> examples/ARM/arm6-verification