`NoSymbol.pos == NoPosition`