function destructor import Modelica; extends Modelica.Icons.Function; input Timer timer "Device handle"; end destructor;