Most Opcodes Are Typesafe If Memory Is Infinite | Dark Hacker News