modified:   src/mpl_set.c