c encode string interface