Как работает код C, который печатает от 1 до 1000 без циклов и условных операторов?

Я нашел код C , который печатает от 1 до 1000 без циклов и условий : {{ 1}} Но я не понимаю, как это работает. Может ли кто-нибудь просмотреть код и объяснить каждую строчку?

#include 
#include 

void main(int j) {
  printf("%d\n", j);
  (&main + (&exit - &main)*(j/1000))(j+1);
}