Symbol: asprintf_expr_inout_ints