pub const DSA_POINTER_FORMAT: &[u8; 7] = b"%016lx\0";