/*++

Copyright (c) Microsoft Corporation

Module Name:

EverParse.h

Abstract:

This is an EverParse-generated file that contains common auxiliary
functions for EverParse-generated verified data validators.

This file was generated by EverParse EVERPARSEVERSION

Authors:

nswamy, protz, taramana 5-Feb-2020

--*/
