PT_12345 top-level constant

String const PT_12345

Implementation

const String PT_12345 = '(1-2-3-4-5)';