Mangling isn't technically required as per se but it's by far the most common approach (basically a local minimum in terms of cost) I think this subset of C++

Mangling isn't technically required as per se but it's by far the most common approach (basically a local minimum in terms of cost) I think this subset of C++ templates is probably undecidable still.