src/libpspp/model-checker.c \
src/libpspp/range-set.c \
src/libpspp/sparse-array.c \
src/libpspp/sparse-xarray.c \
src/libpspp/str.c \
src/libpspp/pool.c \
src/libpspp/model-checker.c \
src/libpspp/range-set.c \
src/libpspp/sparse-array.c \
src/libpspp/sparse-xarray.c \
src/libpspp/str.c \
src/libpspp/pool.c \