printf("%d") gives wrong output on the C128

[swildner]

Something is off with printf("%d") on the C128.

The following outputs a weird number on the C128, for example -15103 on VICE, or 14848 on Z64K, instead of 73 as expected. Works fine for the C64.

#include <stdio.h>

int
main(void)
{
	printf("%d\n", 73);
}