remove obsolete DUMMY constant