(:ecb-mode-test #h"00" #h"1234567887654321" #h"1234567887654321")
(:ecb-mode-test #h"0000" #h"1234567887654321" #h"1234567887654321")
(:ecb-mode-test #h"01" #h"1234567887654321" #h"1335577986644220")
(:ecb-mode-test #h"0102" #h"1234567887654321" #h"1336577a86674223")