extensible strings