void append(lazy char[] exp) { char[] s = exp; }