Come replicare questa tecnica per descrivere il codice sorge

Buongiorno!
Volevo mostrarvi l’estratto di un libro che usa una tecnica molto efficace (a mio avviso) per descrivere il codice sorgente (vedi pag. 6 e 7 del PDF — 116 e 117 del libro), etichettando con degli speciali “marcatori” le istruzioni rilevanti.

Sapreste consigliarmi come replicare tale tecnica?

So che il pacchetto `listings` permette l’escaping, quindi è possibile inserire codice Latex nei listati, ma non saprei proprio come realizzare i marcatori (magari con numerazione automatica all’interno del listato). Nel libro infatti ogni listato ha i suoi “marcatori”, e la numerazione ricomincia da capo a ogni listato.

Immagino una soluzione del tipo (ma è solo la mezza idea di un principiante come me):

`
% preamble
\lstset{
(…)
escapechar=§,
}

% Definizione del comando `mycoderef`

(…)
% begin document

% Codice marcato
\begin{lstlisting}[language=c,label=src-hello-c]
#include

int
main(int argc, char *argv[])
{
§\mycoderef{mylabel1}§printf(“Hello, World!\n”);
return 0;
}
\end{lstlisting}

% Testo che fa riferimento all’istruzione marcata
La stampa a video avviene con l’istruzione printf\autoref{mylabel1}.
`

Grazie,
Giorgio