%08x is wrong when uaecptr is 64bit
```sh
/tmp $ gcc -Wall -Wextra -c test.c
test.c: In function 'foo':
test.c:3:1: warning: format '%x' expects argument of type 'unsigned int', but argument 2 has type 'uaecptr' [-Wformat]
/tmp $ cat test.c
#include <stdio.h>
typedef unsigned long long uaecptr;
void foo(uaecptr bar) { printf("%08x", bar); }
```