Jextract is a tool that mechanically generates Java bindings from native library headers, leveraging...