/* Test for verifying that unsupported annotations are reported properly. */

#include <stdio.h>
#include "../../helgrind/helgrind.h"

int main(int argc, char** argv)
{
  ANNOTATE_PUBLISH_MEMORY_RANGE(argv[0], sizeof(argv[0]));
  fprintf(stderr, "Done.\n");
  return 0;
}