num_args property
Arbitrary arguments chosen by the sender of the message. If num_args > 0,
you can access args0 through argsnum_args - 1 (inclusive). What
these arguments mean is up to the sender and receiver.
None of the valid items are NULL.
Implementation
@ffi.Int()
external int num_args;