I think it's fine. It may also be motivated to special case the 0x8000 case into essentially a memcpy, as the comment says.