désolé à nouveau pour cette confusion liée à une ancienne hypothèse trop forte restée en début de donnée... (confusion entre explications d'implémentation et explications d'interface !!)
oui c'est bien 0x8888 qui est attendu : on fait tourner un vector de 4 bits.
Et, en effet, les tests fournis servent d'exemples.
cf aussi https://moodlearchive.epfl.ch/2019-2020/mod/forum/discuss.php?d=36825 et https://moodlearchive.epfl.ch/2019-2020/mod/forum/discuss.php?d=36748#p75816