var PRIx16: String { get }