6.24 Inline assembler branches and labels in C and C++ code
Labels defined in inline assembly code can be used as targets for branches or C and C++
They must be followed by a colon,
:, like C and C++ labels, and they must
be defined within the same function that they are called from.
Labels defined in C and C++ can be used as targets by branch instructions in inline
assembly code, in the form:
int foo(int x, int y)