The goto statement unconditionally transfers control to the statement labeled by the identifier. The identifier shall be a label located in the current function.