Symbol: disas_result_fprintf