{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"param_types,"}]}
        param_types,
        if is_signed { "__rust_i128_mulo" } else { "__rust_u128_mulo" },
        vec![AbiParam::new(types::I128)],