ffi extension for gawk