================================================================
564 assertions, toutes vertes.