#lang pl
(lambda (arg-val)
  (eval bound-body 
        (Extend bound-id arg-val env)))