UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-022.rkt 
#lang plait
{let1 {x 5} {let1 {y 6} {+ x y}}}