Which of the following statements about the "do while" loop is correct?

Which of the following statements about the "do while" loop is correct?

1. a) The condition is checked before the loop body is executed for the first time.
2. b) The loop body is guaranteed to execute at least once.
3. c) The loop condition must always be false for the loop to execute.
4. d) The "do while" loop and "while" loop have identical behavior in all cases.