pub unsafe extern "C" fn VT_restore_micro_checkpoint(index: c_int)