Need some help in this code, can anyone help me?

Hi everybody,

Does anybody know why my program doesn't go through my frequencies ? i use the tlsa tool to write and compile it. what about tunefav and setfav? any help will be appreciated.
thank you! this is parallel and concurrent programming.

here is the code:

const N = 95
range T = 88 .. N

RADIO = OFF,
OFF = (on-> ON),
ON = (off->OFF |
reset -> TOP |
scan -> SCANNING),
//tunefav -> TUNEFAV|
//setfav -> SETFAV),
BOTTOM = (off -> OFF | scan -> SCANNING),
TOP = (off -> OFF | scan -> SCANNING),
SCANNING = SCANNING [N],
SCANNING [i:88 .. N]= (when (i<N)read[u:T] -> SCANNING [i+1]| lock -> LOCKED | end -> BOTTOM | reset -> TOP),
LOCKED = (off -> OFF | scan -> SCANNING | reset -> TOP).

menu RADIO = {on, off, scan, reset, lock}