Fix constant use THUMB_WITH