STD_WRITE         581 dvm/execute.c  	    STD_WRITE(dvm, 0, 0.0);
STD_WRITE         586 dvm/execute.c  	    STD_WRITE(dvm, 0, 1.0);
STD_WRITE         591 dvm/execute.c  	    STD_WRITE(dvm, 0,
STD_WRITE         619 dvm/execute.c  	    STD_WRITE(dvm, 0,
STD_WRITE         656 dvm/execute.c  	    STD_WRITE(dvm, 0,
STD_WRITE         711 dvm/execute.c  	    STD_WRITE(dvm, -2, double_value);