Symbol: gen_extern_stubs