Update aes-example.c