JS can't shift more than 32 bits. Added workaround.
trace() now avoids existing annotations. No more overlap-warnings.