Function pointer typedefs can include parameter names:

typedef int (*foo)(int first, int second);

When extracting this, jextract falls back to x0, x1 (as for typedefs w/o parameter names).