Код C: Как они вообще работают?

Я только что видел это здесь

#include 

int main(int argc, char *argv[printf("Hello, world!\n")]) {}

Это печатает «Hello World!»

Но что на самом деле здесь происходит?

Лучшее, что я могу догадаться, это что он компилируется и помещается на вершину стека выполнения, но синтаксис даже не кажется мне законным ...