Some .txt examples for the universal-machine version.