Update ext_set.c