Cuando una función se llama varias veces en lenguaje C, las variables locales estáticas se asignan solo una vez.

A medida que el compilador procesa el código, cuando encuentra la inicialización de una variable estática, genera un comando fuera de la función F y asigna el valor j a 0. Estos comandos se ejecutan incluso antes de que se llame a la función principal. En la función, la primera declaración no es en realidad j=0, sino ++j.

De esta forma, las variables locales estáticas se inicializan sólo una vez.