******************** check_redo failed: does not compile ********************