Symbol: vn_markexec