On some platforms, notably Windows, the
GPid type represents a resource
which must be closed to prevent resource leaking.
is provided for this purpose. It should be used on all platforms, even
though it doesn’t do anything under UNIX.
The process reference to close.