DVM_PUSH_DOUBLE_1  307 compiler/generate.c 	generate_code(ob, expr->line_number, DVM_PUSH_DOUBLE_1);
DVM_PUSH_DOUBLE_1  585 dvm/execute.c  	case DVM_PUSH_DOUBLE_1: