I've tried 

```
CONSTANTS seq = <<5,6,7>>

```

but TLC gives me a syntax error:

> 
> Error: TLC found an error in the
>  configuration file at line 1. It was
>  expecting = or <- and didn't find it.
> 
> 
> 

I've also tried to include the `Sequences` module in the configuration file, to no avail.

So... what do I have to do to assign a sequence?