#include "stdint.h"

#define	SIZE_T_MAX MAX_UINT32
typedef UINT32 size_t;