Symbol: result_code_t