Function foreign_read 

fn foreign_read(
    state: PermissionPriv,
    protected: bool,
) -> Option<PermissionPriv>

A non-child node was read-accessed: keep Reserved but mark it as conflicted if it is protected; invalidate Unique.