Function change_known 

pub fn change_known<T>(
    change: impl FnOnce(&mut Vec<KnownCard>) -> T,
) -> Result<T, String>

Changes the list of known security keys: read, changed, written, one writer at a time.