L'ARM thumb, ca compte comme 16 bits?