STD_WRITE         431 dvm/execute.c  	    STD_WRITE(dvm, 0, 0.0);
STD_WRITE         436 dvm/execute.c  	    STD_WRITE(dvm, 0, 1.0);
STD_WRITE         441 dvm/execute.c  	    STD_WRITE(dvm, 0,
STD_WRITE         468 dvm/execute.c  	    STD_WRITE(dvm, 0,
STD_WRITE         505 dvm/execute.c  	    STD_WRITE(dvm, 0,