(PROGRAM (VAR s 3))