//========= Copyright © 1996-2005, Valve Corporation, All rights reserved. ============//
//
// Purpose: 
//
// $NoKeywords: $
//
//=============================================================================//
void DumpObjFile( PIMAGE_FILE_HEADER pImageFileHeader );