#ident "foo"

/*
 * check-description: check that the non-standard "#ident ..." is ignored.
 * check-name: ident
 * check-command: sparse -E $file
 *
 * check-output-start


 * check-output-end
 */