Resolve #51: string and asciistring shrink