Section 9.10.1.2.1 defines a section named “.section_to_be_verified”, which contains the .text data from the a1.c.obj file. The crc_table() operator requests that the linker compute the CRC value for the .text data and store that value in a table named “my_crc_table_for_a1”. This table will contain all the information needed to invoke a user-supplied CRC calculation routine, and verify that the CRC calculated at run time matches the linker-generated CRC. The table can be accessed from application code using the symbol my_crc_table_for_a1, which should be declared of type “extern CRC_TABLE”. This symbol will be defined by the linker. The application code might resemble the following.

#include "crc_tbl.h"
extern CRC_TABLE my_crc_table_for_a1;
verify_a1_text_contents()
{
   ...
   /* Verify CRC value for .text sections of a1.c.obj. */
   if (my_check_CRC(&my_crc_table_for_a1)) puts("OK");
}

The my_check_CRC() routine is shown in detail in Section C.4 .