Much better solution. Now strings become arrays of chars as soon as they enter the stack. However, we now have the thorny issue of dealing with equality and comparison of "strings".