sample to support coq