3 历史上的程咬金真是个耍板斧的大老粗吗？