New macro DECLAIM.