make user buffers sexpable