(FIXME: verificare, non sono sicuro). Per questo motivo processo il processo
di avvio (init) ha sempre il pid uguale a uno.
-Ogni processo è identificato univocamente dal sistema per il suo
-pid; quest'ultimo è un apposito tipo di dato, il \texttt{pid\_t} che in
-genere è un intero con segno (nel caso di Linux e delle glibc il tipo usato è
+Ogni processo è identificato univocamente dal sistema per il suo pid;
+quest'ultimo è un tipo di dato standard, il \texttt{pid\_t} che in genere è un
+intero con segno (nel caso di Linux e delle glibc il tipo usato è
\texttt{int}.
Tutti i processi inoltre portano traccia del pid del genitore, chiamato in