false-positive: 从未读取变量 $counter 的值。