in scripts/ed25519-signal-donna/main.c [29:35]
void pprint(unsigned char buf[32]) { for (int i = 0; i < 32; i++) { printf("%02X", buf[i]); } printf("\n"); }