(DEFINE buggy-remove-1st
  ; TYPE: (-> (T (list T)) (list T))
  (LAMBDA (item ls)
    ; ENSURES: result is same as ls,
    ;    except the first occurrence
    ;    of item is removed
    (COND
      [(null? ls) '()]
      [((equal? car(ls) item))
       car(ls)]
      [else (cons (car ls)
		  remove-1st(ls)
		  '())])))