Another test for formatting of OPCodes.md