- Merge branch 'evs_basop_alt_code_instrumented' of...

#include <stdio.h>

#include <string.h>

#include <stdlib.h>

#define WMC_TOOL_SKIP

#ifndef _WIN32

#include <stdint.h>

#else

#include <Winsock2.h>

typedef unsigned short     uint16_t;

typedef signed short       int16_t;

typedef unsigned int       uint32_t;

typedef signed int         int32_t;

typedef unsigned __int64   uint64_t;

typedef signed __int64     int64_t;

#endif

#include "options.h"

#include "stl.h"