NB. one-second clock

⇒ LED0.

Module blink ≡ LED0∘μ{<0:16, 0:8, LO>}count
     where count ≡ c2 = ¯239:8 → tick1; tick2,
               tick1 ≡ [c1 + ¯1:16, ¯0:8, on] 
                           1  = ¯49999:16 → [¬∘3, [¯0:16, ¯0:8, ¬∘3]]; [3, id],
               tick2 ≡ [on, [c1, c2 + ¯1:8, on]],
               state ≡ 2,
               c1 ≡ 1∘state,
               c2 ≡ 2∘state,
               on ≡ 3∘state.