ll.rs

extern "C" {
    pub fn abort() -> !;
    pub fn klee_assume(cond: bool);
    pub fn klee_make_symbolic(
        ptr: *mut core::ffi::c_void,    // pointer to the data
        size: usize,                    // size (in bytes)
        name: *const cstr_core::c_char, // pointer to zero-terminted C string
    );
}