Random coq programs for learning