Function: enriched-encode

(fn FROM TO ORIG-BUF)