function wait extends .Modelica.Icons.Function; import Modelica_DeviceDrivers.EmbeddedTargets.STM32F4.Functions.HAL; input Init rt; input Integer tick; end wait;