let a := 1 @main := a