use intern instead read-from-string