https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109650
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- x86_64 prints (with a simple: `#define uart_putc __builtin_putchar`): ``` 0123456789 0 ?????????? 1 XXXXXXXXX? 2 XXXXXXXXX? 3 XXXXXXX??? 4 XXXXXXX??? 5 XXXXX????? 6 XXXXX????? 7 XXX??????? 8 ?????????? ``` Which I think is the correct output
