EmSkem, an embedded Scheme implementation