The goto statement transfers control unconditionally to a labeled
  statement.
  Syntax:

       goto identifier ;

  The identifier must be a label located in the current function.
  You may use goto to branch into a block, but no initializations are
  performed on variables declared in the block.