Next stop: a type- and memory-safe compiled language that can occupy C’s niche. Manual memory management. AND manual register allocation.