Symbol: vgen_check_datamsg_seq