blink-inf-mizar32.l: demonstrate infinite blinking of led on Mizar32