What is this use of the colon called?
The following code is taken from the book Learn Core Audio.
int main(int argc, const char * argv[])
That's a label. It's used along with a goto statement to control the flow of your program.
goto
goto and Labeled Statements (C)