0
A
1
B
2
C
3
D
TAIL
HEAD
head = 2
tail = 2
full =
true
$(\text{head} = \text{tail}) \land \text{full}$