Routines string2pointer and pointer2string, to go back and forth.