ASSERT parameter assumptions in EngCopyBits()