How can I create a random number when I define a global declaration in an Uppaal program? I want to have a variable that contains a random number as in a C program: int x = rand (100);