BranchLink no or multiple function arguments

[brk]

Running codehawk.sh within the attached loop-notlaststmt.zip file produces

Unable to create lifting for 0x1040c:
--------------------------------------------------------------------------------
Unable to create high-level ast for main (0x1040c):
  BranchLink (BL): no or multiple function arguments: print_arr_str: 

I am not sure whether this is a CodeHawk bug or if my configuration is incorrect. I have type signatures in the headers.c file and function address entries in the arm.userdata.json file.

The source, for what it's worth, is:

int main(int argc, char** argv) {
  int argi = 1;
  int argx = argc;
  printf("before...\n");
  if (argc <= 2) {
    printf("looping...\n");
    while (1) {
      if (argi < argx) {
        print_arr_str(argv,argi);    
        ++argi;
      } else break;
    }
  } 
  printf(" ...ok after!\n");
  return 0;
}
void print_str(const char* s) {
    printf("%s", s);    
}
void print_arr_str(char** a, int i) {
    print_str(a[i]);
}