#include <stdio.h>
int genTest(char* filePath) {
  printf("%p: %s\n", filePath, filePath?filePath:"<void>");
  return 0;
}