ラベル型変数のvaruse

*first
dimtype a, 1
b = *first
c = *last
mes varuse(a) ; >> 0
mes varuse(b) ; >> 0
mes varuse(c) ; >> 1
d = a, b, c
mes
foreach d
	; 0, 1 は skip される
	mes cnt ; >> 2
loop
*last

varuse ってコード先頭を指すラベルかどうかを調べているだけじゃないか。コード先頭を指すラベルは有効なラベルじゃないか。なんだこの謎仕様。