class DPLMut extends Mut; // backward compatibility