{}
{    The purpose of this request is to verify that two instructions are the same.
{    This procedure is used in building the corrector which is the third and
{ final phase in generating a correction for an object library.  This procedure
{ is used when building the corrector, not when applying it.
{}
{        OCP$VERIFY_MATCH (NEW_INDEX, OLD_INDEX, OLD_INSTRUCTIONS,
{          NEW_INSTRUCTIONS, MATCH)
{}
{ NEW_INDEX: (input) This parameter specifies an index into NEW_INSTRUCTIONS
{        which is the instruction to check.
{}
{ OLD_INDEX: (input) This parameter specifies an index into OLD_INSTRUCTIONS
{        which is the instruction to check.
{}
{ OLD_INSTRUCTIONS: (input) This parameter specifies the array of instructions
{        from a code section of the old object library.
{}
{ NEW_INSTRUCTIONS: (input) This parameter specifies the array of instructions
{        from a code section of the new object library.
{}
{ MATCH: (output) This parameter specifies whether the instructions match or not.
{}
