Notch's DCPU-16 in a few lines of F#