Is Odin Just a More Boring C?