sec02_index_of_defs - VTX1

sec02_index_of_defs