Write a String constant that is the empty string.