added_tokens.json

{
  "<tools>": 32768
}