Most Opcodes Are Typesafe If Memory Is Infinite
andrewjohnson4.substack.com