- NESSIE_PUTSTR_P(PSTR("\r\n message="));
- NESSIE_PUTSTR_P(PSTR("512-bit string: "));
- if((pos/8) >=10){
- NESSIE_PUTC('0'+(pos/8/10)%10);
- } else {
- NESSIE_PUTC(' ');
- }
- NESSIE_PUTC('0'+(pos/8)%10);
- NESSIE_PUTSTR_P(PSTR("*00,"));
- NESSIE_PUTSTR(tab[pos&7]);
- NESSIE_PUTC(',');
- if(63-(pos/8) >=10){
- NESSIE_PUTC('0'+((63-pos/8)/10)%10);
- } else {
- NESSIE_PUTC(' ');
- }
- NESSIE_PUTC('0'+(63-pos/8)%10);
- NESSIE_PUTSTR_P(PSTR("*00"));
+ fputs_P(PSTR("\r\n message="), stdout);
+ fputs_P(PSTR("512-bit string: "), stdout);
+
+ fprintf_P(stdout, PSTR("%2"PRIu16"*00,%s,%2"PRIu16"*00"), pos / 8, tab[pos & 7], 63 - pos / 8);