Severity Title 🔴 High Final balances may be out of range due to lack of validation in _reserveTokenSpecified()