Change example.c to use a 128 bit tag.