A simple blinky program for Mizar32.