Symbol: dfx_int_type_0_process