Content-Type: text/html
Content-Length: 376

1. 00TT00
2. --++--
3. ++--++
4. 00HH00
5. --++--
6. Exception type: parser.runtime,
Source: tainting,
Comment: language name must be string (parameter #1 is 'junction')
7. Exception type: parser.runtime,
Source: tainting,
Comment: param must be string (parameter #2 is 'junction')
8. Exception type: parser.runtime,
Source: no-such-lang,
Comment: invalid taint language
9. ''