9#ifndef CPROVER_ANSI_C_LIBRARY_CPROVER_H
10#define CPROVER_ANSI_C_LIBRARY_CPROVER_H
42#include "../cprover_builtin_headers.h"
int __CPROVER_malloc_failure_mode
int __CPROVER_malloc_failure_mode_return_null
typedef __typeof__(sizeof(int)) __CPROVER_size_t
void * __CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero)
const void * __CPROVER_deallocated
const void * __CPROVER_new_object
__CPROVER_size_t __CPROVER_max_malloc_size
const void * __CPROVER_memory_leak
__CPROVER_bool __CPROVER_malloc_is_new_array
__CPROVER_bool __CPROVER_malloc_may_fail
int __CPROVER_malloc_failure_mode_assert_then_assume
signed long long __CPROVER_ssize_t