Update src/ds.c