src/tools/miri/tests/extern-so/libcode.version

   1 CODEABI_1.0 {
   2     global: *add_one_int*;
   3         *printer*;
   4         *test_stack_spill*;
   5         *get_unsigned_int*;
   6         *add_int16*;
   7         *add_short_to_long*;
   8     local: *;
   9 };