Add documentation for data-procedure/c