* we need to simplify the ffi invoke so we can simply reference args
  at their position in the C parameter list
* this works for now but is fragile if new aux values are added in the future