add print-args ffi (test)