the archives 2024 A core for Watanabe's 5-symbol, 8-state universal Turing machine on Tiny Tapeout 02 2015 functional programming & fold 2014 counting paths