CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models | Synapse