# Initial state for both delay blocks: d0s:State { x = 0; } d1s:State { x = 1; } :delay2State (d0 -> d0s) :delay2State (d1 -> d1s) clock:Clock { time = 0; }