[bug-gawk] How to print an unsigned char?

[Peng Yu]

137 is printed as two characters. Is there a way to print a single
character corresponding the number 137 as in C?

$ awk 'BEGIN { printf("%c", 137) }' | xxd
00000000: c289

#include <stdio.h>

int main() {
        printf("%c", 137);
        return 0;
}                            ..

$ ./main.exe |xxd
00000000: 89                                       .

-- 
Regards,
Peng