Let's see if maude likes our idea of C Strings escaping.