atf_and
atf_and(atomic_and_32, uint32_t, PRIx32);
atf_and(atomic_and_uint, unsigned int, "x");
atf_and(atomic_and_ulong, unsigned long, "lx");
atf_and(atomic_and_64, uint64_t, PRIx64);