function destructor extends .Modelica.Icons.Function; input HAL.Init hal "Device handle"; end destructor;