RStringPool: { str: string; val: RStringValue }[] = ...