Update speck64_128.c