printf("\n# WARNING: POSIX_OPENS counter includes both POSIX_FILENOS and POSIX_DUPS counts\n");
printf("\n# WARNING: POSIX counters related to file offsets may be incorrect if a file is simultaneously accessed by both POSIX and STDIO (e.g., using fileno())\n");
printf("# - No support for properly instrumenting fdopen operations (STDIO_FDOPENS)\n");
}
if(ver>=2)
{
printf("\n# WARNING: STDIO_OPENS counter includes STDIO_FDOPENS count\n");
printf("\n# WARNING: STDIO counters related to file offsets may be incorrect if a file is simultaneously accessed by both STDIO and POSIX (e.g., using fdopen())\n");