Compsci boffin publishes proof-of-concept code for 54-year-old zero-day in Universal Turing Machine