// license:BSD-3-Clause // copyright-holders:R. Belmont