(c) 1995-2023 UPPAAL
The valid identifier names are described by the following regular expression: [a-zA-Z_]([a-zA-Z0-9_])*
[a-zA-Z_]([a-zA-Z0-9_])*
a, B, c2, d2
1, 2a, 3B, 4c5