jextract should handle intrinsic types

File: t.h

#include <stdarg.h>

void func(va_list l);

jextracting the above results in undefined Pointer type of t.__va_list_tag type. The struct type __va_list_tag is not generated at all.