Implemented new version of NAME-TO-STRING