%token SEXSTR_