void g(int restrict);
// semmle-extractor-options: --clang -std=gnu89