jextract currently supports only one header file. If the user wants to extract more than one header file, s/he has to create a containing header that includes multiple headers and jextract the containing header.

jextract can generate a temporary file that includes one or more headers specified in the command line. With this, user can avoid creating a containing header file.

Also, jextract should support special syntax to specify header file(s) in the command line. If the command line argument is of the form "<stdio.h>" then jextract could generate "#include <stdio.h>" in the auto-generated containing header. If the header specified in of the normal/existing form (say foo.h), then containg header will have #include "foo.h"

When multiple headers are specified in command line, it is not clear what is the best choice for header class name. (first one? last one? or generated mangled name that includes all file names?). So jextract could enforce --header-class-name option when more than one header file is specified in the command line.