int operator [](int index) { final v = stack[index]; //no Dart negative values should exist here //except the spcecial stack-end flag 0x-10000 assert(v == Engine.stackMarker || v >= 0); return v; }