Jextract Guide

This guide shows how to run the jextract tool, and how to use the Java code that it generates. The samples under the samples direcotry are also a good source of examples…