1 __COUNTER__ 2 __COUNTER__ 3 /* 4 * check-name: __COUNTER__ #1 5 * check-command: sparse -E $file 6 * 7 * check-output-start 8 9 0 10 1 11 * check-output-end 12 */ 13