Get the current process id
Integer_Type getpid ()
The getpid function returns the current process identification number.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}