coq sample