Example code for the redundancy of control flow