declared_thumb

,