main var a, b, c; { let a<-15; let b<-20; if a<=b then let c<- a; else let c<-b; fi }.