THIS IS UNPUBLISHED PROPRIETARY SOURCE CODE of the Copyright Holder.
The contents of this file may not be disclosed to third parties, copied or
duplicated in any form, in whole or in part, without the prior written
permission of the Copyright Holder.