Function cons_val 

pub unsafe extern "C" fn cons_val(
    a: *const cst_val,
    b: *const cst_val,
) -> *mut cst_val