Consider the waitpid function:

lib C
  fun waitpid(pid : Int32, status_ptr : Int32*, options : Int32) : Int32

The documentation of the function says:

The status information from the child process is stored in the object
that status_ptr points to, unless status_ptr is a null pointer.

We can use this function like this:

status_ptr = uninitialized Int32

C.waitpid(pid, pointerof(status_ptr), options)

In this way we pass a pointer of status_ptr to the function for it to fill its value.

There's a simpler way to write the above by using an out parameter:

C.waitpid(pid, out status_ptr, options)

The compiler will automatically declare a status_ptr variable of type Int32, because the argument is an Int32*.

This will work for any type, as long as the argument is a pointer of that type (and, of course, as long as the function does fill the value the pointer is pointing to).

To the extent possible under law, the persons who contributed to this workhave waived
all copyright and related or neighboring rights to this workby associating CC0 with it.