How to make a concrete value from RandomElement?

[Qd Wang <wangq...@xxxxxxxxx>]

```

LET x == RandomElement(1..20)

IN PrintT(<<x, x>>)

```

we will get two different x.

How to make the two x in PrintT to be the same value?

Now, I'm using 

```

LET x == RandomElement(1..20)

       Inside(z) == PrintT(<<z, z>>)

IN Inside(x)

```

In this situation, the two z is the same.

Don't know if there is a shorter way to do this?