ex_table is TABLE of example_rec index by binary_integer;