Symbol: FINAL
games/battlestar/command2.c
133
position != FINAL) {
games/battlestar/command2.c
157
} else if (position == FINAL)
games/battlestar/command2.c
355
position = FINAL;
games/battlestar/command3.c
79
position = FINAL;
games/battlestar/command4.c
232
(location[position].access || position == FINAL);
games/battlestar/command4.c
257
if (value == ROPE && position == FINAL)