table_set_default t_mod_extracted a_mod_extracted 0xAA 0xBB
table_add check_ext_values _no_op 0xAA 0xBB =>
table_set_default t_allocate_and_init_ext_cpy a_allocate_space_ext_cpy
table_add check_ext_cpy_validity _no_op 0 0 =>
table_add check_ext_cpy_validity _no_op 0 1 =>
table_add check_ext_cpy_validity _no_op 1 0 =>
table_add check_ext_cpy_validity _no_op 1 1 =>
table_add check_ext_cpy_values _no_op 0xCC 0x00 =>
table_add check_ext_cpy_values _no_op 0xCC 0xDD =>
table_set_default t_copy_from_ext_cpy_to_ext a_copy_from_ext_cpy_to_ext
table_add check_ext_final _no_op 0xCC 0xDD =>
table_add check_ext_final _no_op 0xCC 0xBB =>
table_add check_ext_final _no_op 0xCC 0x00 =>
table_add check_ext_final _no_op 0xAA 0xBB =>