Sample implementation and specification of CLIM 3.