pjs/xpcom/tests/static-checker/e12.cpp

typedef int bool;
typedef int PRUint32;
typedef int PRInt32;

typedef PRUint32 nsresult;
typedef short PRUnichar;

bool bar(int *p __attribute__((user("NS_outparam")))) {
  return 1;
}