9 #ifndef CPROVER_ANSI_C_LIBRARY_CPROVER_H
10 #define CPROVER_ANSI_C_LIBRARY_CPROVER_H
42 #include "../cprover_builtin_headers.h"
void * __CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero)
int __CPROVER_malloc_failure_mode
int __CPROVER_malloc_failure_mode_return_null
typedef __typeof__(sizeof(int)) __CPROVER_size_t
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