./ivltests/pr3441576.v:3: warning: @* found no sensitivities so it will never trigger.
foo is x