t . InOut: Name [...] 3M.SMC_Vec DynVState v_t SM

Fun Inout vT SM [...] ) Input x LREAL t LREAL

allowed t [...] timeout t [...] timeout t

Param POINTER TO tSysComRead

Param POINTER TO tSysComWrite

Param POINTER TO tSysShmRead

Param POINTER TO tSysShmWrite

Param POINTER TO tSysPortIn

Param POINTER TO tSysSockHtonl

Param POINTER TO tSysSockHtons