Sensor:
fps 54 135
Custom fps.srs
Actuator:
fil 364 127
SingleStateAct state event filval 4 5
Safety Invariant:
true 
filval = fps