SPDX-License-Identifier: BSD-2-Clause

 Copyright (c) 2024 (holder)

 This software was developed by SRI International, the University of
 Cambridge Computer Laboratory (Department of Computer Science and
 Technology), and Capabilities Limited under Defense Advanced Research
 Projects Agency (DARPA) Contract No. FA8750-24-C-B047 ("DEC").