Consider the waitpid function:
lib C fun waitpid(pid : Int32, status_ptr : Int32*, options : Int32) : Int32 end
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
C.waitpid(pid, out status_ptr, options)
The compiler will automatically declare a
status_ptr variable of type
Int32, because the argument is an
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.