(lambda (x) (* x x))

(define s1
  (lambda (x y)
    (* x y)))