Oops, edge case misbehaviour fixed
Early walkover optimizations in native code