#include "csmith.h"
/* --- GLOBAL VARIABLES --- */
static uint16_t g_37 = 2;
static uint16_t * volatile g_36 = &g_37;/* VOLATILE GLOBAL g_36 */
static int32_t g_83 = 6;
static int32_t *g_138 = &g_83;
static uint32_t g_147 = 9;

static int32_t * func_119();
static const int32_t  func_1()
{ /* block id 0 */
    int32_t l_2452 ;
    int32_t *l_2466 = &l_2452;
    l_2466 = func_119();
}
static int32_t * func_119()
{
    int p_120 = 0; /* block id 5 */
    int32_t *l_136 = &g_83;
    int32_t **l_234 = &l_136;
    int32_t *l_320 = &g_83;
    int32_t ***l_273 = &l_234;
    if ((*g_36 && (*l_273 = &g_138) != 0 < 0) / g_147 && 5 > p_120 << 0)
        l_320 = *l_234 = 0;
}
void  main ()
{
    klee_make_symbolic(&g_83, sizeof g_83, "g_83");
    klee_make_symbolic(&g_37, sizeof g_37, "g_37");
    klee_make_symbolic(&g_147, sizeof g_147, "g_147");
    int print_hash_value = 0;
    func_1();
    klee_report_error("file", -1, "abort before checksum calculation", "early_abortion");
    transparent_crc;
    platform_main_end(crc32_context ^ 5, print_hash_value);
}