Function: enriched-encode



(fn FROM TO ORIG-BUF)