@x [1.11] @!max_strings=7500; {maximum number of strings; must not exceed |max_halfword|} @y @!max_strings=1048574; {maximum number of strings; must not exceed |max_halfword|} @z @x [1.11] @!pool_size=100000; {maximum number of characters in strings, including all @y @!pool_size=10000000; {maximum number of characters in strings, including all @z