add new DVM code in execute.c