export MBK_IN_LO=vst
export MBK_OUT_LO=vst
asimut -b $1 $1 beh
scmap $1 $1
asimut $1 $1 str
scr -p -r $1 $1
export MBK_OUT_LO=al
lynx -v $1 $1
lvx al vst $1 $1 -f
export MBK_IN_LO=al
asimut $1 $1 output
graal -l $1
export MBK_IN_LO=al
yagle -v $1 
asimut $1 $1 out
proof -p -v $1
druc $1
export RDS_OUT=cif
s2r -c -v $1
