proc do_the_thing_with_export_name*() {.importc: "do_the_thing_with_export_name".}