Symbol: DEFPARTITIONS