#lang pl
(: Extend : Symbol VAL ENV -> ENV)
(define (Extend id v rest-env)
  ...)