U32_U64_PAD
# define U32_U64_PAD(x) x
# define U32_U64_PAD(x) "0x0, " x
# define U32_U64_PAD(x) x ", 0x0"