| VERS1.0 { | 
 |   global: | 
 |     __tgt_rtl_is_valid_binary; | 
 |     __tgt_rtl_is_data_exchangable; | 
 |     __tgt_rtl_number_of_devices; | 
 |     __tgt_rtl_init_requires; | 
 |     __tgt_rtl_init_device; | 
 |     __tgt_rtl_load_binary; | 
 |     __tgt_rtl_data_alloc; | 
 |     __tgt_rtl_data_submit; | 
 |     __tgt_rtl_data_submit_async; | 
 |     __tgt_rtl_data_retrieve; | 
 |     __tgt_rtl_data_retrieve_async; | 
 |     __tgt_rtl_data_exchange; | 
 |     __tgt_rtl_data_exchange_async; | 
 |     __tgt_rtl_data_delete; | 
 |     __tgt_rtl_run_target_team_region; | 
 |     __tgt_rtl_run_target_team_region_async; | 
 |     __tgt_rtl_run_target_region; | 
 |     __tgt_rtl_run_target_region_async; | 
 |     __tgt_rtl_synchronize; | 
 |   local: | 
 |     *; | 
 | }; |