//-V:CHECK:521
//-V:DCHECK:521
//-V:LOG:521
//-V:VLOG:521
//-V:DVLOG:521
//-V:DFATAL_OR_RETURN_NOT_OK:521
//V_EXCLUDE_PATH *.pb.h
//V_EXCLUDE_PATH *.pb.cc
//V_EXCLUDE_PATH gram.y