(store_symval_forwarding): Add parameter BUF. If BUF is