(init): warning
Function FUNC2 [BIT_VECTOR return BIT_VECTOR] at
Function FUNC1 [BIT_VECTOR return BIT_VECTOR] at
Signal S2 at
(init): warning
Function FUNC2 [BIT_VECTOR return BIT_VECTOR] at
Function FUNC1 [BIT_VECTOR return BIT_VECTOR] at
Signal P1 at
