DVM_PUSH_DOUBLE   253 compiler/generate.c 	generate_code(ob, DVM_PUSH_DOUBLE, cp_idx);
DVM_PUSH_DOUBLE   440 dvm/execute.c  	case DVM_PUSH_DOUBLE: