The native header generation tool (javah)