\type{ptrdiff\_t}& Differenza fra due puntatori.\\
\type{time\_t} & Numero di secondi (in tempo di calendario).\\
\type{uid\_t} & Identificatore di un utente.\\
\type{ptrdiff\_t}& Differenza fra due puntatori.\\
\type{time\_t} & Numero di secondi (in tempo di calendario).\\
\type{uid\_t} & Identificatore di un utente.\\