BExCS, BExDCS