This word is redundant in C and encourages poor programming style. For
this reason it has been ignored in this book. For completeness, and for
those who insist on using it (may their programs recover gracefully) the
form of the goto statement is as follows:
goto label;
label is an identifier which occurs somewhere else in the given
function and is defined as a label by using the colon: