vhdl_reference_93:disconnection_specification