let
copy ele = buffer :=
Some
(copy_report_ele ele)