Externalize string pos and pos_max