{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"\"example/mini_core_hello_world.rs\","}]}
        "example/mini_core_hello_world.rs",
        "aot.mini_core_hello_world",
        &["abc", "bcd"],