#include <inttypes.h>
#include <stdio.h>

int main(void) {
    unsigned au = ~0;
    unsigned long alu = ~0;
    uint32_t a32 = ~0;
    uint64_t a64 = ~0;
    printf("au: %x; alu: %lx; a32: %" PRIx32 "; a64: %" PRIx64 "\n",
          au, alu, a32, a64);
    return 0;
}