F1<brace><]</brace>   <caret> 3 < 5<brace>[></brace> Decl;