(prin1-to-string (encode-coding-string "NAME" 'CODING-SYSTEM))