-- SPDX-License-Identifier: GPL-2.0-only package HW.Debug_Sink is procedure Put (Item : String); procedure Put_Char (Item : Character); procedure New_Line; end HW.Debug_Sink;