__COUNTER__ __COUNTER__ /* * check-name: __COUNTER__ #1 * check-command: sparse -E $file * * check-output-start 0 1 * check-output-end */