Index of definitions:
A
B
C
F
L
M
P
T
W
X
check-star-sequence!
check-star-sequence-1!