pub extern "C" fn xUndo( wal: *mut Wal, func: extern "C" fn(*mut c_void, i32) -> i32, ctx: *mut c_void, ) -> i32