pub type Eval_F_CB = unsafe extern "C" fn(n: Index, x: *const Number, new_x: Bool, obj_value: *mut Number, user_data: *mut c_void) -> Bool;