get_symbol
$$.has_id = true; $$.id = get_symbol($2);
$$.has_id = true; $$.id = get_symbol($2);
static int32 get_symbol(const char*);
get_symbol,
status_t get_symbol(image_id imageID, char const* symbolName, int32 symbolType,