write_string

void write_string(int address, string value)