Removed a DECLAIM statement used for debugging.