dbc 1.1.0

data/lib/dbc/expand_function.rb

@@ -0,0 +1,132 @@
+# Copyright (c) 2004 Charles M Mills
+# This document is licenced under The MIT Licence.
+# THIS SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND.
+# See included LICENCE file.
+
+require 'dbc/ctokenizer'
+
+def expand_function(conditions, context, body, start_line, line_info)
+	raise 'should be a function' unless context.function?
+
+	context_str = context.short_name
+	f_cond = conditions[context_str]
+
+	pre_text = ''		# preconditions
+	post_text = ''	# postconditions
+	inv_text = ''		# invariants
+	init_text = ''	# initializations
+	final_text = ''	# stuff at the end
+
+	if f_cond
+		# get the conditions
+		f_cond.conditions.each do |c|
+			case c.type
+				when "pre"
+					pre_text
+				when "post"
+					post_text
+				else
+					raise ParseError, "unexpected condition type: #{c.type} for #{context_str}"
+			end << c.to_cexp("\t")
+		end
+		# set up old values
+		f_cond.old_values.each do |identifier, var_used|
+			# figures out the type of identifiers such as a->b->c
+			begin
+				p_type = context.evaluate(identifier)
+			rescue CType::EvaluationError
+				raise CType::EvaluationError, "#{line_info}: in #{context_str}, #{$!} for #{identifier}"
+			end
+			init_text << "\t" << p_type.to_init_s(var_used)
+			init_text << ' = ' << identifier << ";\n"
+		end
+	end
+
+	context.parameters.each do |p|
+		inv = conditions[p.short_name]
+		if inv then inv.conditions.each do |c|
+			raise ParseError, "expecting invariant got #{c.long_type} for #{p.to_s}" \
+				unless c.type == "inv"
+			exp_str = c.to_cexp("\t", context_str)
+			# fix me - this could be better
+			sub_str = '\1' + p.identifier + '\2'
+			exp_str.gsub!(/(\W)self(\W+)/, sub_str)
+			inv_text << exp_str
+		end; end
+	end
+
+	void_return_type = (context.base_type.to_s == 'void')
+
+	unless void_return_type or \
+				(post_text.empty? and inv_text.empty?)
+		init_text << "\t" << context.base_type.to_init_s('ocl__ret_val') << ";\n"
+	end
+	
+	outstr = ''
+
+	if pre_text.empty? and post_text.empty? and inv_text.empty?
+		# we're done early
+		body.each do |t|
+			outstr << t[1]
+		end
+		return outstr
+	end
+
+	outstr << "\n" << init_text
+
+	# output invariants and preconditions
+	outstr << "\t/* Invariants: */\n" << inv_text unless inv_text.empty?
+	outstr << "\t/* Preconditions: */\n" << pre_text unless pre_text.empty?
+
+	outstr << "{\n"
+	outstr << '#line ' << start_line.to_s << "\n" if line_info
+
+	# output function body
+	if post_text.empty? and inv_text.empty?
+		body.each do |t|
+			outstr << t[1]
+			start_line += CTokenizer.line_count(t[1])
+		end
+	else
+		output_label = false
+		body = body.dup
+		until body.empty?
+			t = body.shift
+			start_line += CTokenizer.line_count(t[1])
+			# replace return statements with goto statements.
+			# if a value is returned this value is saved in ocl__ret_val
+			if t[1] == 'return'
+				output_label = true
+				if void_return_type
+					outstr << 'goto ocl__return_here'
+				else
+					outstr << '{ ocl__ret_val = ( '
+					loop do
+						raise "syntax error" if body.empty?
+						t = body.shift
+						start_line += CTokenizer.line_count(t[1])
+						break if t[1] == ';'
+						outstr << t[1]
+					end
+					outstr << ' ); goto ocl__return_here; }'
+				end
+			else # output all other tokens
+				outstr << t[1]
+			end
+		end
+		outstr << "\nocl__return_here:\n" if output_label
+		# must explicitly return the return value unless return value is void
+		final_text << "\treturn ocl__ret_val;\n" unless void_return_type
+	end
+	outstr << "\n"
+
+	# output postconditions and invariants
+	outstr << "\t/* Postconditions: */\n" << post_text unless post_text.empty?
+	outstr << "\t/* Invariants: */\n" << inv_text unless inv_text.empty?
+
+	outstr << final_text
+	outstr << "}\n"
+	outstr << '#line ' << start_line.to_s << "\n" if line_info
+	outstr
+end
+

data/lib/dbc/ocl.rb

@@ -0,0 +1,2166 @@
+#
+# DO NOT MODIFY!!!!
+# This file is automatically generated by racc 1.4.4
+# from racc grammer file "src/ocl.y".
+#
+
+require 'racc/parser'
+
+
+
+require 'dbc/ctype'
+require 'dbc/ctokenizer'
+require 'dbc/parseerrorhandler'
+
+class String
+	def cexp?; true end
+	def to_cexp; self end
+end
+
+module OCL
+	
+	class Label
+	
+		def initialize(message, file, line)
+			@message = message
+			if message =~ /\n\r"/
+				raise ParseError, "label '#{message}' contains invalid characters: '\\n', '\\r', or '\"'"
+			end
+			@file = file
+			@line = line
+		end
+
+		attr_reader :message, :file, :line
+	
+		def to_s(context = nil)
+			if @file
+				tag = "\"#{@file}:#{@line}: "
+			else
+				tag = " __FILE__ \":#{@line}: "
+			end
+			# C string is open
+			tag << context << ': ' if context
+			tag << ' ' << @message if @message
+			tag << "\"" # close C string
+		end
+	
+	end # Label
+	
+	class Range
+		def initialize(first, last, exclude_end)
+			@first = first
+			@last = last
+			@exclude_end = (exclude_end == true)
+		end
+		def exclude_end?
+			@exclude_end
+		end
+		def test_expression(expression)
+			if @exclude_end
+				s = '<'
+			else
+				s = '<='
+			end 
+			"(((#{@first}) <= (#{expression})) && ((#{expression}) #{s} (#{@last})))"
+		end
+		attr_reader :first, :last
+	end # Range
+	
+	class IteratorRange
+		def initialize(declaration, boundry)
+			@declaration = declaration
+			@boundry = boundry
+		end
+		def declare(indent_str)
+			str = indent_str.dup
+			# initialization of variable
+			str << @declaration.to_s << ";\n"
+		end
+		def open(indent_str)
+			identifier = @declaration.identifier
+			str = ''
+			str << indent_str << "for (#{identifier} = #{@boundry.first}; "
+			if @boundry.exclude_end?
+				str << "#{identifier} < #{@boundry.last}; "
+			else
+				str << "#{identifier} <= #{@boundry.last}; "
+			end
+			str << "#{identifier}++) {\n"
+		end
+		def close(indent_str)
+			"#{indent_str}}\n"
+		end
+	end # IteratorRange
+	
+	class Block
+		@@results = 0
+		def Block.result
+			"__ocl_#{@@results += 1}_"
+		end
+		def Block.check_condition(condition, result, indent_str = '')
+			"#{indent_str}#{result} = (int)(#{condition});\n"
+		end
+
+		def to_s
+			raise ParseError, "invalid expression" unless cexp?
+			to_cexp
+		end
+	end # Block
+
+	class Paren < Block
+		def initialize(exp)
+			@expression = exp
+		end
+		def cexp?
+			@expression.cexp?
+		end
+		def to_exp(result, indent_str = '')
+			@expression.to_exp(result, indent_str)
+		end
+		def to_cexp
+			"(#{@expression})"
+		end
+	end # Parens
+
+	class Implies < Block
+		def initialize(condition, implication)
+			@condition = condition
+			@implication = implication
+		end
+
+		def to_exp(result, indent_str = '')
+			str = ''
+			# implies statements are true by default
+			str << indent_str << "#{result} = 1;\n"
+			if @condition.cexp?
+				expression = @condition.to_cexp
+			else
+				expression = Block.result
+				str << @condition.to_exp(expression, indent_str)
+			end
+			# if the expression is true then that implies the condition
+			str << indent_str << "if (#{expression}) {\n"
+			if @implication.cexp?
+				str << check_condition(@implication.to_cexp, result, "\t" << indent_str)
+			else
+				str << @implication.to_exp(result, "\t" << indent_str)
+			end
+			str << indent_str << "}\n"
+		end
+
+		def cexp?
+			@condition.cexp? and @implication.cexp?
+		end
+
+		def to_cexp
+			"#{@condition.to_cexp} ? #{@implication.to_cexp} : 1"
+		end
+	end # Implies
+
+	class Binary < Block
+		def initialize(exp1, exp2)
+			@expression1 = exp1
+			@expression2 = exp2
+		end
+		def cexp?
+			@expression1.cexp? and @expression2.cexp?
+		end
+		def to_cexp
+			"(#{@expression1.to_cexp} #{csymbol} #{@expression2.to_cexp})"
+		end
+	end # Binary
+
+	class And < Binary
+		def to_exp(result, indent_str = '')
+			str = ''
+			if @expression1.cexp?
+				str << Block.check_condition(@expression1.to_cexp, result, indent_str)
+			else
+				str << @expression1.to_exp(result, indent_str)
+			end
+			# if expression1 is true we must check condtion
+			str << indent_str << "if (#{result}) {\n"
+			if @expression2.cexp?
+				str << Block.check_condition(@expression2.to_cexp, result, "\t" << indent_str)
+			else
+				str << @expression2.to_exp(result, "\t" << indent_str)
+			end
+			str << indent_str << "}\n"
+		end
+		def csymbol; '&&' end
+	end # And
+
+	class Or < Binary
+		def to_exp(result, indent_str = '')
+			str = ''
+			if @expression1.cexp?
+				str << Block.check_condition(@expression1.to_cexp, result, indent_str)
+			else
+				str << @expression1.to_exp(result, indent_str)
+			end
+			# if expression1 is true we must check condtion
+			str << indent_str << "if (!#{result}) {\n"
+			if @expression2.cexp?
+				str << Block.check_condition(@expression2.to_cexp, result, "\t" << indent_str)
+			else
+				str << @expression2.to_exp(result, "\t" << indent_str)
+			end
+			str << indent_str << "}\n"
+		end
+		def csymbol; '||' end
+	end # Or
+	
+	class Xor < Binary
+		def to_exp(result, indent_str = '')
+			raise "XOR not implemented yet..."
+		end
+	end # Xor
+
+	class Unary < Block
+		def initialize(exp)
+			@expression = exp
+		end
+		def cexp?
+			@expression.cexp?
+		end
+		def to_cexp
+			"#{csymbol}#{@expression.to_cexp}"
+		end
+		def to_exp(result, indent_str = '')
+			# expresssion should be a block
+			str = ''
+			str << @expression.to_exp(result, indent_str)
+			str << indent_str << "#{result} = #{csymbol}#{result};\n"
+		end
+	end # Unary
+
+	class Not < Unary
+		def csymbol; '!' end
+	end
+
+	class UMinus < Unary
+		def csymbol; '-' end
+	end
+
+	class UPlus < Unary
+		def csymbol; '+' end
+	end
+
+	# only allows C expression
+	class CUnary < Unary
+		def initialize(exp)
+			@expression = exp.to_cexp
+		end
+		def cexp?; true end
+	end
+
+	class SizeOf < Block
+		def initialize(exp)
+			raise ParseError, "cannot take the size of a condition" unless exp.cexp?
+			super
+		end
+		def to_cexp
+			"sizeof(#{expression})"
+		end
+	end # SizeOf
+
+	class UAddrs < CUnary
+		def initialize(exp)
+			raise ParseError, "cannot reference a condition" unless exp.cexp?
+			super
+		end
+		def csymbol; '&' end
+		def cexp?; true end
+	end
+
+	class UDeref < CUnary
+		def initialize(exp)
+			raise ParseError, "cannot dereference a condition" unless exp.cexp?
+			super
+		end
+		def csymbol; '*' end
+		def cexp?; true end
+	end
+
+	class IterBlock < Block
+		def initialize(iterator, expression)
+			@iterator = iterator
+			@expression = expression
+		end
+		def cexp?
+			false
+		end
+		def to_cexp
+			raise "cannot convert #{self.class} to C expression"
+		end
+		def to_exp(result, indent_str = '')
+			# if the condition is true for a single element then we mark result
+			# as true and break (since the condition must be true for only one element).
+			str = ''
+			str << self.initialize_iterator(result, indent_str)
+			str << indent_str << "{\n"
+			indent = "\t" << indent_str # increase indent
+			if @expression.cexp?
+				check_exp = @expression.to_cexp
+				inside_iterator = ''
+			else
+				check_exp = Block.result
+				str << indent << "int #{check_exp} = 0;\n"
+				inside_iterator = @expression.to_exp(check_exp, "\t" << indent)
+			end
+			str << @iterator.declare(indent)
+			str << @iterator.open(indent)
+			# inside_iterator does checks / calcs necessary for check_exp to be valid
+			str << inside_iterator
+			str << self.check_iteration(check_exp, result, indent)
+			str << @iterator.close(indent)
+			str << indent_str << "}\n"
+		end
+	end # IterBlock
+
+	class Exists < IterBlock
+		def initialize_iterator(result, indent_str)
+			'' << indent_str << "#{result} = 0;\n"
+		end
+		
+		def check_iteration(expression, result, indent_str)
+			str = ''
+			str << indent_str << "\tif (#{expression}) {\n"
+			str << indent_str << "\t\t#{result} = 1;\n"
+			str << indent_str << "\t\tbreak;\n"
+			str << indent_str << "\t}\n"
+		end
+	end # Exists
+	
+	class Forall < IterBlock
+		def initialize_iterator(result, indent_str)
+			'' << indent_str << "#{result} = 1;\n"
+		end
+		def check_iteration(expression, result, indent_str)
+			str = ''
+			str << indent_str << "\tif (!(#{expression})) {\n"
+			str << indent_str << "\t\t#{result} = 0;\n"
+			str << indent_str << "\t\tbreak;\n"
+			str << indent_str << "\t}\n"
+		end
+	end # Forall
+	
+	# Needs to be able to deal with old values!
+	class Condition
+		DEFAULT_ERROR_FUNCTION = 'dbc_error'.freeze
+
+		@@mappings = {
+			'pre' => 'precondition',
+			'post' => 'postcondition',
+			'inv' => 'invariant'
+		}.freeze
+
+		def initialize(type, label)
+			@old_values = nil
+			@type = type
+			raise "invalid condition type #{type}" unless @type
+			@label = label
+			@error_function = DEFAULT_ERROR_FUNCTION
+		end
+
+		def condition=(expression)
+			raise "condition already set" if @condition
+			@condition = expression
+		end
+
+		attr_accessor :error_function
+		attr_reader :type, :label, :old_values
+	
+		def long_type
+			@@mappings[@type]
+		end
+	
+		def to_cexp(indent='', context=nil)
+			raise "condition not set" unless @condition
+
+			error_tag = "#{@label.to_s(context)} \"#{long_type} failed\""
+
+			str = ''
+			str << indent << "{\n"
+			if @condition.cexp?
+				result = @condition.to_cexp
+			else
+				result = "__ocl_result_"
+				str << indent << "\tint #{result};\n"
+				str << @condition.to_exp(result, "\t" << indent)
+			end
+			str << abort_condition(error_tag, result, "\t" << indent)
+			str << indent << "}\n"
+		end
+		
+		def abort_condition(error_info, result, indent_str='')
+			str = ''
+			str << indent_str << "if (!(#{result})) {\n"
+			str << indent_str << "\t#{@error_function}(#{error_info});\n"
+			str << indent_str << "}\n"
+		end
+
+		def to_s
+			"#{@type}:"
+		end
+
+	end # Condition
+
+end # module OCL
+
+
+module OCL
+
+  class Parser < Racc::Parser
+
+module_eval <<'..end src/ocl.y modeval..id980a140244', 'src/ocl.y', 849
+
+	def Parser.reserved_word?(str)
+		(str =~ /\A(?:context|forall|exists|in|and|or|implies|not|xor)\Z/o) != nil
+	end
+
+	def initialize(str, file, line)
+		@line = line
+		@file = file
+
+		@old_values = []
+		@context = nil
+		begin
+			get_tokens(str)
+			@conditions = do_parse
+		rescue ParseError
+			CTokenizer.error(@file, @line, $!)
+		end
+		@q = nil # done with tokens
+	end
+
+	attr_reader :file, :line, :old_values, :conditions, :context
+
+	def context=(val)
+		raise "context already set" if @context
+		@context = val
+	end
+
+protected
+	include ParseErrorHandler
+	
+	def add_old(identifier)
+		# reuse variables if possible
+		id_var = @old_values.find do |pair|
+			pair[0] == identifier
+		end
+		if id_var
+			var_used = id_var[1]
+		else
+			var_used = "ocl__old_value#{@old_values.length}"
+			@old_values.push [identifier, var_used]
+		end
+		var_used
+	end
+
+	def get_tokens(str)
+		@q = []
+		line = @line
+		until str.empty?
+			case str
+				when /\A(@)[ \t]*(pre)/o
+					@q.push ['@pre', '@pre']
+					str = $'
+				when /\A(inv|pre|post)(?:[ \t]+([^:]+))?[ \t]*:/o
+					@q.push [:END_OF_STATEMENT, ''] unless @q.empty?
+					@q.push [$1, $1]
+					@q.push [:LABEL, Label.new($2, @file, line)]
+					str = $'
+				when /\A\.\.\.?/
+					@q.push [$&, $&]
+					str = $'
+				else
+					# get C token
+					t, str = CTokenizer.split_token(str)
+					line += CTokenizer.line_count(t[1])
+					case t[0]
+						when :SYMBOL
+							t = [t[1], t[1]]
+						when :IDENTIFIER
+							if	CTokenizer::CLexer.reserved_word?(t[1]) or \
+									Parser.reserved_word?(t[1])
+								t = [t[1], t[1]].freeze
+							elsif tdef = CType[t[1]]
+								t = [:TYPEDEF_NAME, tdef]
+							end
+						when :COMMENT
+							raise ParseError, "comment embedded inside a comment"
+						when :SPACE
+							next # skip
+					end
+					@q.push t
+			end
+		end # until
+		@q.push [:END_OF_STATEMENT, false]
+		@q.push [false, false]
+	end
+
+	def next_token
+		t = @q.shift
+		while t and t[0] == :NEWLINE
+			@line += 1
+			t = @q.shift
+		end
+		t
+	end
+
+..end src/ocl.y modeval..id980a140244
+
+##### racc 1.4.4 generates ###
+
+racc_reduce_table = [
+ 0, 0, :racc_error,
+ 1, 69, :_reduce_none,
+ 1, 70, :_reduce_none,
+ 2, 70, :_reduce_3,
+ 1, 70, :_reduce_4,
+ 1, 71, :_reduce_5,
+ 2, 71, :_reduce_6,
+ 3, 72, :_reduce_7,
+ 1, 74, :_reduce_none,
+ 1, 74, :_reduce_none,
+ 3, 73, :_reduce_10,
+ 2, 77, :_reduce_11,
+ 1, 79, :_reduce_none,
+ 1, 79, :_reduce_none,
+ 1, 79, :_reduce_none,
+ 1, 80, :_reduce_none,
+ 1, 80, :_reduce_none,
+ 1, 80, :_reduce_none,
+ 1, 80, :_reduce_none,
+ 1, 80, :_reduce_none,
+ 3, 80, :_reduce_20,
+ 1, 76, :_reduce_none,
+ 1, 76, :_reduce_22,
+ 1, 76, :_reduce_none,
+ 1, 76, :_reduce_none,
+ 1, 81, :_reduce_none,
+ 4, 81, :_reduce_26,
+ 4, 81, :_reduce_27,
+ 3, 81, :_reduce_28,
+ 3, 81, :_reduce_29,
+ 3, 81, :_reduce_30,
+ 1, 83, :_reduce_none,
+ 2, 83, :_reduce_32,
+ 1, 82, :_reduce_none,
+ 3, 82, :_reduce_34,
+ 1, 84, :_reduce_none,
+ 1, 84, :_reduce_none,
+ 1, 86, :_reduce_none,
+ 2, 86, :_reduce_38,
+ 2, 86, :_reduce_39,
+ 2, 86, :_reduce_40,
+ 2, 86, :_reduce_41,
+ 2, 86, :_reduce_42,
+ 2, 86, :_reduce_43,
+ 4, 86, :_reduce_44,
+ 6, 86, :_reduce_45,
+ 6, 86, :_reduce_46,
+ 1, 87, :_reduce_none,
+ 4, 87, :_reduce_48,
+ 1, 89, :_reduce_none,
+ 3, 89, :_reduce_50,
+ 3, 89, :_reduce_51,
+ 3, 89, :_reduce_52,
+ 1, 90, :_reduce_none,
+ 3, 90, :_reduce_54,
+ 3, 90, :_reduce_55,
+ 1, 91, :_reduce_none,
+ 3, 91, :_reduce_57,
+ 1, 93, :_reduce_none,
+ 3, 93, :_reduce_59,
+ 3, 93, :_reduce_60,
+ 3, 93, :_reduce_61,
+ 3, 93, :_reduce_62,
+ 3, 93, :_reduce_63,
+ 3, 93, :_reduce_64,
+ 1, 94, :_reduce_none,
+ 3, 94, :_reduce_66,
+ 1, 95, :_reduce_none,
+ 3, 95, :_reduce_68,
+ 1, 96, :_reduce_none,
+ 3, 96, :_reduce_70,
+ 1, 78, :_reduce_none,
+ 3, 78, :_reduce_72,
+ 3, 88, :_reduce_73,
+ 3, 92, :_reduce_74,
+ 3, 92, :_reduce_75,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 97, :_reduce_none,
+ 1, 98, :_reduce_none,
+ 1, 98, :_reduce_none,
+ 1, 99, :_reduce_none,
+ 1, 99, :_reduce_none,
+ 2, 75, :_reduce_89,
+ 1, 75, :_reduce_90,
+ 1, 102, :_reduce_91,
+ 2, 102, :_reduce_92,
+ 1, 103, :_reduce_93,
+ 1, 103, :_reduce_94,
+ 1, 103, :_reduce_95,
+ 1, 103, :_reduce_96,
+ 1, 106, :_reduce_none,
+ 1, 106, :_reduce_none,
+ 2, 104, :_reduce_99,
+ 1, 100, :_reduce_none,
+ 2, 100, :_reduce_101,
+ 1, 101, :_reduce_102,
+ 2, 107, :_reduce_103,
+ 1, 107, :_reduce_none,
+ 1, 110, :_reduce_none,
+ 1, 109, :_reduce_106,
+ 3, 109, :_reduce_107,
+ 4, 109, :_reduce_108,
+ 3, 109, :_reduce_109,
+ 4, 109, :_reduce_110,
+ 4, 109, :_reduce_111,
+ 3, 109, :_reduce_112,
+ 2, 105, :_reduce_113,
+ 2, 108, :_reduce_114,
+ 1, 108, :_reduce_115,
+ 3, 108, :_reduce_116,
+ 2, 108, :_reduce_117,
+ 1, 113, :_reduce_118,
+ 2, 113, :_reduce_119,
+ 1, 111, :_reduce_120,
+ 3, 111, :_reduce_121,
+ 1, 114, :_reduce_122,
+ 3, 114, :_reduce_123,
+ 2, 115, :_reduce_124,
+ 2, 115, :_reduce_125,
+ 1, 115, :_reduce_126,
+ 1, 112, :_reduce_127,
+ 1, 117, :_reduce_128,
+ 3, 117, :_reduce_129,
+ 1, 85, :_reduce_130,
+ 2, 85, :_reduce_131,
+ 1, 116, :_reduce_132,
+ 1, 118, :_reduce_133,
+ 1, 118, :_reduce_none,
+ 2, 118, :_reduce_135,
+ 3, 119, :_reduce_none,
+ 2, 119, :_reduce_137,
+ 3, 119, :_reduce_138,
+ 3, 119, :_reduce_139,
+ 4, 119, :_reduce_140,
+ 2, 119, :_reduce_141,
+ 3, 119, :_reduce_142,
+ 3, 119, :_reduce_143,
+ 4, 119, :_reduce_144 ]
+
+racc_reduce_n = 145
+
+racc_shift_n = 228
+
+racc_action_table = [
+    37,    40,    13,    79,    79,    20,    22,    79,   113,   115,
+    79,   167,   113,    81,    82,   166,   117,    98,   222,   158,
+    32,    35,    38,    42,    47,    16,   217,   121,    25,   225,
+    87,    88,    34,   139,    41,    14,    89,    81,    82,    23,
+    27,   108,    31,    80,   113,    70,    49,    52,    53,    55,
+    57,    59,    61,    62,    63,    66,    69,    48,    50,    37,
+    40,    13,    69,    48,    20,    22,    69,    48,   185,    90,
+    79,    79,   184,    86,   154,   168,   169,    79,   152,    32,
+    35,    38,    42,    47,    16,   175,    79,    25,   100,   205,
+   170,    34,   221,    41,    14,    78,   167,   206,    23,    27,
+   166,    31,   113,   113,    70,    49,    52,    53,    55,    57,
+    59,    61,    62,    63,    66,    69,    48,    50,    37,    40,
+    13,   113,   172,    20,    22,   115,   115,   171,    81,    82,
+   185,   154,   209,   117,   184,   152,   152,    99,    32,    35,
+    38,    42,    47,    16,   115,   211,    25,   212,   115,    99,
+    34,   117,    41,    14,    97,   209,    98,    23,    27,   152,
+    31,    81,    82,    70,    49,    52,    53,    55,    57,    59,
+    61,    62,    63,    66,    69,    48,    50,    37,    40,    13,
+   110,    16,    20,    22,    25,   110,    16,   174,   218,    25,
+    41,    14,    75,    76,    77,    41,    14,    32,    35,    38,
+    42,    47,    16,   219,   220,    25,     7,     9,    11,    34,
+   159,    41,    14,    79,   113,   173,    23,    27,   188,    31,
+   191,   101,    70,    49,    52,    53,    55,    57,    59,    61,
+    62,    63,    66,    69,    48,    50,    47,   115,     3,     5,
+     7,     9,    11,    16,   209,   183,    25,    45,   152,   113,
+    44,   226,    41,    14,     7,     9,    11,    70,    49,    52,
+    53,    55,    57,    59,    61,    62,    63,    66,    69,    48,
+    50,    47,    16,   101,   nil,    25,    75,    76,    77,   154,
+   183,    41,    14,   152,    93,    94,    95,    96,    91,    92,
+   nil,   nil,    70,    49,    52,    53,    55,    57,    59,    61,
+    62,    63,    66,    69,    48,    50,    37,    40,    13,   nil,
+    16,    20,    22,    25,     7,     9,    11,   nil,   nil,    41,
+    14,    75,    76,    77,   nil,   nil,    32,    35,    38,    42,
+   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,   106,   nil,
+    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,
+    40,    13,   nil,   nil,    20,    22,    70,    49,    52,    53,
+    55,    57,    59,    61,    62,   nil,   nil,   nil,   nil,    32,
+    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,
+   nil,    34,   nil,    41,    14,   nil,   193,   nil,    23,    27,
+   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,    93,
+    94,    95,    96,    91,    92,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,
+    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,
+   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,
+    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,
+    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,
+    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,    40,
+    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,
+    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,
+    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,
+    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,
+   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,   nil,
+    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,
+    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,
+   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,
+   nil,   177,   nil,    23,    27,   nil,    31,    37,    40,    13,
+   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,
+    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,
+   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,
+    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,
+   nil,   nil,    34,   nil,    41,    14,   nil,   214,   nil,    23,
+    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,
+   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,
+   nil,   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,
+   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,
+   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,
+    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,
+    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,
+    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,
+   nil,    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,
+   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,
+    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,
+   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,
+    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,
+    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,
+    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,    40,
+    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,
+    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,
+    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,
+    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,
+   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,   nil,
+    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,
+    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,
+   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,
+   nil,   nil,   nil,    23,    27,   nil,    31,    37,    40,    13,
+   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,
+    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,
+   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,
+    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,
+   nil,   nil,    34,   nil,    41,    14,   nil,   nil,   nil,    23,
+    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,
+   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,
+   nil,   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,
+   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,
+   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,
+    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,
+    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,
+    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,
+   nil,    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,
+   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,
+    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,
+   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,
+    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,
+    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,
+    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,    40,
+    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,
+    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,
+    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,
+    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,
+   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,   nil,
+    23,    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,
+    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,
+   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,
+   nil,   nil,   nil,    23,    27,   nil,    31,    37,    40,    13,
+   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,
+    42,   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,
+   nil,    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,
+    37,    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    32,    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,
+   nil,   nil,    34,   nil,    41,    14,   nil,   nil,   nil,    23,
+    27,   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,    32,    35,    38,    42,   nil,    16,   nil,
+   nil,    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,
+   nil,   nil,    23,    27,   nil,    31,    37,    40,    13,   nil,
+   nil,    20,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    32,    35,    38,    42,
+   nil,    16,   nil,   nil,    25,   nil,   nil,   nil,    34,   nil,
+    41,    14,   nil,   nil,   nil,    23,    27,   nil,    31,    37,
+    40,    13,   nil,   nil,    20,    22,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    32,
+    35,    38,    42,   nil,    16,   nil,   nil,    25,   nil,   nil,
+   nil,    34,   nil,    41,    14,   nil,   nil,   nil,    23,    27,
+   nil,    31,    37,    40,    13,   nil,   nil,    20,    22,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    32,    35,    38,    42,    47,    16,   nil,   nil,
+    25,   nil,   nil,   nil,    34,   nil,    41,    14,   nil,   nil,
+    47,    23,    27,   nil,    31,   nil,   nil,    70,    49,    52,
+    53,    55,    57,    59,    61,    62,    63,    66,    69,    48,
+    50,    70,    49,    52,    53,    55,    57,    59,    61,    62,
+    63,    66,    69,    48,    50,    47,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   216,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    70,    49,    52,    53,
+    55,    57,    59,    61,    62,    63,    66,    69,    48,    50,
+    47,    16,   nil,   nil,    25,   nil,   nil,   nil,   nil,   nil,
+    41,    14,   nil,   nil,   nil,    47,   nil,   nil,   nil,   nil,
+   nil,    70,    49,    52,    53,    55,    57,    59,    61,    62,
+    63,    66,    69,    48,    50,   224,    70,    49,    52,    53,
+    55,    57,    59,    61,    62,    63,    66,    69,    48,    50,
+    47,    16,   nil,   nil,    25,   nil,   nil,   nil,   nil,   197,
+    41,    14,   nil,   nil,    47,   nil,   nil,   nil,   nil,   nil,
+   nil,    70,    49,    52,    53,    55,    57,    59,    61,    62,
+    63,    66,    69,    48,    50,    70,    49,    52,    53,    55,
+    57,    59,    61,    62,    63,    66,    69,    48,    50 ]
+
+racc_action_check = [
+    90,    90,    90,   204,   103,    90,    90,   192,   113,   119,
+   213,   165,   162,    18,    18,   165,   119,    28,   204,   103,
+    90,    90,    90,    90,    90,    90,   192,    64,    90,   213,
+    24,    24,    90,    90,    90,    90,    24,   128,   128,    90,
+    90,    45,    90,    18,   102,    90,    90,    90,    90,    90,
+    90,    90,    90,    90,    90,    90,    90,    90,    90,   171,
+   171,   171,   113,   113,   171,   171,   162,   162,   186,    24,
+   176,   132,   186,    24,   102,   128,   128,   202,   102,   171,
+   171,   171,   171,   171,   171,   150,    17,   171,    31,   176,
+   132,   171,   202,   171,   171,    17,   120,   178,   171,   171,
+   120,   171,   179,   117,   171,   171,   171,   171,   171,   171,
+   171,   171,   171,   171,   171,   171,   171,   171,   106,   106,
+   106,    51,   136,   106,   106,   179,   117,   136,   199,   199,
+   156,   157,   179,   117,   156,   157,   179,    30,   106,   106,
+   106,   106,   106,   106,    51,   180,   106,   182,   210,   151,
+   106,    51,   106,   106,    27,   210,   149,   106,   106,   210,
+   106,   200,   200,   106,   106,   106,   106,   106,   106,   106,
+   106,   106,   106,   106,   106,   106,   106,    34,    34,    34,
+    50,    50,    34,    34,    50,    68,    68,   147,   194,    68,
+    50,    50,   130,   130,   130,    68,    68,    34,    34,    34,
+    34,    34,    34,   195,   196,    34,     8,     8,     8,    34,
+   104,    34,    34,   135,   209,   146,    34,    34,   160,    34,
+   164,   127,    34,    34,    34,    34,    34,    34,    34,    34,
+    34,    34,    34,    34,    34,    34,   209,   209,     0,     0,
+     0,     0,     0,    87,   209,   209,    87,     4,   209,   154,
+     2,   215,    87,    87,    10,    10,    10,   209,   209,   209,
+   209,   209,   209,   209,   209,   209,   209,   209,   209,   209,
+   209,   154,    88,    33,   nil,    88,    15,    15,    15,   154,
+   154,    88,    88,   154,   148,   148,   148,   148,   148,   148,
+   nil,   nil,   154,   154,   154,   154,   154,   154,   154,   154,
+   154,   154,   154,   154,   154,   154,    40,    40,    40,   nil,
+   220,    40,    40,   220,    73,    73,    73,   nil,   nil,   220,
+   220,   131,   131,   131,   nil,   nil,    40,    40,    40,    40,
+   nil,    40,   nil,   nil,    40,   nil,   nil,   nil,    40,   nil,
+    40,    40,   nil,   nil,   nil,    40,    40,   nil,    40,   166,
+   166,   166,   nil,   nil,   166,   166,    65,    65,    65,    65,
+    65,    65,    65,    65,    65,   nil,   nil,   nil,   nil,   166,
+   166,   166,   166,   nil,   166,   nil,   nil,   166,   nil,   nil,
+   nil,   166,   nil,   166,   166,   nil,   166,   nil,   166,   166,
+   nil,   166,    20,    20,    20,   nil,   nil,    20,    20,    26,
+    26,    26,    26,    26,    26,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    20,    20,    20,    20,   nil,    20,   nil,   nil,
+    20,   nil,   nil,   nil,    20,   nil,    20,    20,   nil,   nil,
+   nil,    20,    20,   nil,    20,    22,    22,    22,   nil,   nil,
+    22,    22,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    22,    22,    22,    22,   nil,
+    22,   nil,   nil,    22,   nil,   nil,   nil,    22,   nil,    22,
+    22,   nil,   nil,   nil,    22,    22,   nil,    22,    23,    23,
+    23,   nil,   nil,    23,    23,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    23,    23,
+    23,    23,   nil,    23,   nil,   nil,    23,   nil,   nil,   nil,
+    23,   nil,    23,    23,   nil,   nil,   nil,    23,    23,   nil,
+    23,    13,    13,    13,   nil,   nil,    13,    13,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    13,    13,    13,    13,   nil,    13,   nil,   nil,    13,
+   nil,   nil,   nil,    13,   nil,    13,    13,   nil,   nil,   nil,
+    13,    13,   nil,    13,   152,   152,   152,   nil,   nil,   152,
+   152,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   152,   152,   152,   152,   nil,   152,
+   nil,   nil,   152,   nil,   nil,   nil,   152,   nil,   152,   152,
+   nil,   152,   nil,   152,   152,   nil,   152,    95,    95,    95,
+   nil,   nil,    95,    95,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    95,    95,    95,
+    95,   nil,    95,   nil,   nil,    95,   nil,   nil,   nil,    95,
+   nil,    95,    95,   nil,   nil,   nil,    95,    95,   nil,    95,
+   184,   184,   184,   nil,   nil,   184,   184,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   184,   184,   184,   184,   nil,   184,   nil,   nil,   184,   nil,
+   nil,   nil,   184,   nil,   184,   184,   nil,   184,   nil,   184,
+   184,   nil,   184,    94,    94,    94,   nil,   nil,    94,    94,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,    94,    94,    94,    94,   nil,    94,   nil,
+   nil,    94,   nil,   nil,   nil,    94,   nil,    94,    94,   nil,
+   nil,   nil,    94,    94,   nil,    94,    96,    96,    96,   nil,
+   nil,    96,    96,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    96,    96,    96,    96,
+   nil,    96,   nil,   nil,    96,   nil,   nil,   nil,    96,   nil,
+    96,    96,   nil,   nil,   nil,    96,    96,   nil,    96,   175,
+   175,   175,   nil,   nil,   175,   175,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   175,
+   175,   175,   175,   nil,   175,   nil,   nil,   175,   nil,   nil,
+   nil,   175,   nil,   175,   175,   nil,   nil,   nil,   175,   175,
+   nil,   175,    99,    99,    99,   nil,   nil,    99,    99,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    99,    99,    99,    99,   nil,    99,   nil,   nil,
+    99,   nil,   nil,   nil,    99,   nil,    99,    99,   nil,   nil,
+   nil,    99,    99,   nil,    99,    37,    37,    37,   nil,   nil,
+    37,    37,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    37,    37,    37,    37,   nil,
+    37,   nil,   nil,    37,   nil,   nil,   nil,    37,   nil,    37,
+    37,   nil,   nil,   nil,    37,    37,   nil,    37,    98,    98,
+    98,   nil,   nil,    98,    98,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    98,    98,
+    98,    98,   nil,    98,   nil,   nil,    98,   nil,   nil,   nil,
+    98,   nil,    98,    98,   nil,   nil,   nil,    98,    98,   nil,
+    98,   174,   174,   174,   nil,   nil,   174,   174,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   174,   174,   174,   174,   nil,   174,   nil,   nil,   174,
+   nil,   nil,   nil,   174,   nil,   174,   174,   nil,   nil,   nil,
+   174,   174,   nil,   174,    93,    93,    93,   nil,   nil,    93,
+    93,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    93,    93,    93,    93,   nil,    93,
+   nil,   nil,    93,   nil,   nil,   nil,    93,   nil,    93,    93,
+   nil,   nil,   nil,    93,    93,   nil,    93,    91,    91,    91,
+   nil,   nil,    91,    91,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    91,    91,    91,
+    91,   nil,    91,   nil,   nil,    91,   nil,   nil,   nil,    91,
+   nil,    91,    91,   nil,   nil,   nil,    91,    91,   nil,    91,
+   168,   168,   168,   nil,   nil,   168,   168,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   168,   168,   168,   168,   nil,   168,   nil,   nil,   168,   nil,
+   nil,   nil,   168,   nil,   168,   168,   nil,   nil,   nil,   168,
+   168,   nil,   168,   173,   173,   173,   nil,   nil,   173,   173,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   173,   173,   173,   173,   nil,   173,   nil,
+   nil,   173,   nil,   nil,   nil,   173,   nil,   173,   173,   nil,
+   nil,   nil,   173,   173,   nil,   173,     1,     1,     1,   nil,
+   nil,     1,     1,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,     1,     1,     1,     1,
+   nil,     1,   nil,   nil,     1,   nil,   nil,   nil,     1,   nil,
+     1,     1,   nil,   nil,   nil,     1,     1,   nil,     1,    92,
+    92,    92,   nil,   nil,    92,    92,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    92,
+    92,    92,    92,   nil,    92,   nil,   nil,    92,   nil,   nil,
+   nil,    92,   nil,    92,    92,   nil,   nil,   nil,    92,    92,
+   nil,    92,   169,   169,   169,   nil,   nil,   169,   169,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   169,   169,   169,   169,   nil,   169,   nil,   nil,
+   169,   nil,   nil,   nil,   169,   nil,   169,   169,   nil,   nil,
+   nil,   169,   169,   nil,   169,    75,    75,    75,   nil,   nil,
+    75,    75,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    75,    75,    75,    75,   nil,
+    75,   nil,   nil,    75,   nil,   nil,   nil,    75,   nil,    75,
+    75,   nil,   nil,   nil,    75,    75,   nil,    75,    76,    76,
+    76,   nil,   nil,    76,    76,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    76,    76,
+    76,    76,   nil,    76,   nil,   nil,    76,   nil,   nil,   nil,
+    76,   nil,    76,    76,   nil,   nil,   nil,    76,    76,   nil,
+    76,    77,    77,    77,   nil,   nil,    77,    77,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    77,    77,    77,    77,   nil,    77,   nil,   nil,    77,
+   nil,   nil,   nil,    77,   nil,    77,    77,   nil,   nil,   nil,
+    77,    77,   nil,    77,    79,    79,    79,   nil,   nil,    79,
+    79,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    79,    79,    79,    79,   nil,    79,
+   nil,   nil,    79,   nil,   nil,   nil,    79,   nil,    79,    79,
+   nil,   nil,   nil,    79,    79,   nil,    79,    80,    80,    80,
+   nil,   nil,    80,    80,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,    80,    80,    80,
+    80,   nil,    80,   nil,   nil,    80,   nil,   nil,   nil,    80,
+   nil,    80,    80,   nil,   nil,   nil,    80,    80,   nil,    80,
+    81,    81,    81,   nil,   nil,    81,    81,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    81,    81,    81,    81,   nil,    81,   nil,   nil,    81,   nil,
+   nil,   nil,    81,   nil,    81,    81,   nil,   nil,   nil,    81,
+    81,   nil,    81,    82,    82,    82,   nil,   nil,    82,    82,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,    82,    82,    82,    82,   nil,    82,   nil,
+   nil,    82,   nil,   nil,   nil,    82,   nil,    82,    82,   nil,
+   nil,   nil,    82,    82,   nil,    82,    86,    86,    86,   nil,
+   nil,    86,    86,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    86,    86,    86,    86,
+   nil,    86,   nil,   nil,    86,   nil,   nil,   nil,    86,   nil,
+    86,    86,   nil,   nil,   nil,    86,    86,   nil,    86,   101,
+   101,   101,   nil,   nil,   101,   101,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   101,
+   101,   101,   101,   nil,   101,   nil,   nil,   101,   nil,   nil,
+   nil,   101,   nil,   101,   101,   nil,   nil,   nil,   101,   101,
+   nil,   101,   159,   159,   159,   nil,   nil,   159,   159,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   159,   159,   159,   159,    46,   159,   nil,   nil,
+   159,   nil,   nil,   nil,   159,   nil,   159,   159,   nil,   nil,
+   100,   159,   159,   nil,   159,   nil,   nil,    46,    46,    46,
+    46,    46,    46,    46,    46,    46,    46,    46,    46,    46,
+    46,   100,   100,   100,   100,   100,   100,   100,   100,   100,
+   100,   100,   100,   100,   100,   185,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   185,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   185,   185,   185,   185,
+   185,   185,   185,   185,   185,   185,   185,   185,   185,   185,
+     5,     5,   nil,   nil,     5,   nil,   nil,   nil,   nil,   nil,
+     5,     5,   nil,   nil,   nil,   211,   nil,   nil,   nil,   nil,
+   nil,     5,     5,     5,     5,     5,     5,     5,     5,     5,
+     5,     5,     5,     5,     5,   211,   211,   211,   211,   211,
+   211,   211,   211,   211,   211,   211,   211,   211,   211,   211,
+   167,   167,   nil,   nil,   167,   nil,   nil,   nil,   nil,   167,
+   167,   167,   nil,   nil,    97,   nil,   nil,   nil,   nil,   nil,
+   nil,   167,   167,   167,   167,   167,   167,   167,   167,   167,
+   167,   167,   167,   167,   167,    97,    97,    97,    97,    97,
+    97,    97,    97,    97,    97,    97,    97,    97,    97 ]
+
+racc_action_pointer = [
+   202,  1157,   215,   nil,   247,  1757,   nil,   nil,   168,   nil,
+   216,   nil,   nil,   512,   nil,   265,   nil,    59,    -1,   nil,
+   383,   nil,   426,   469,    28,   nil,   381,   113,    -7,   nil,
+   112,    47,   nil,   247,   168,   nil,   nil,   856,   nil,   nil,
+   297,   nil,   nil,   nil,   nil,    41,  1673,   nil,   nil,   nil,
+   147,   110,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    -9,   302,   nil,   nil,   152,   nil,
+   nil,   nil,   nil,   276,   nil,  1286,  1329,  1372,   nil,  1415,
+  1458,  1501,  1544,   nil,   nil,   nil,  1587,   209,   238,   nil,
+    -9,  1028,  1200,   985,   684,   598,   727,  1821,   899,   813,
+  1687,  1630,    33,   -23,   168,   nil,   109,   nil,   nil,   nil,
+   nil,   nil,   nil,    -3,   nil,   nil,   nil,    92,   nil,   -25,
+    55,   nil,   nil,   nil,   nil,   nil,   nil,   195,    23,   nil,
+   181,   310,    44,   nil,   nil,   186,    80,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   165,   143,   266,   132,
+    35,   124,   555,   nil,   238,   nil,    89,    90,   nil,  1673,
+   176,   nil,     1,   nil,   178,   -30,   340,  1807,  1071,  1243,
+   nil,    50,   nil,  1114,   942,   770,    43,   nil,    55,    91,
+    98,   nil,   105,   nil,   641,  1722,    27,   nil,   nil,   nil,
+   nil,   nil,   -20,   nil,   146,   161,   157,   nil,   nil,   114,
+   147,   nil,    50,   nil,   -24,   nil,   nil,   nil,   nil,   203,
+   114,  1772,   nil,   -17,   nil,   209,   nil,   nil,   nil,   nil,
+   276,   nil,   nil,   nil,   nil,   nil,   nil,   nil ]
+
+racc_action_default = [
+  -145,  -145,  -145,    -4,  -145,  -145,    -1,   -12,    -2,   -13,
+  -145,   -14,    -5,  -145,   -24,   -53,   -21,  -145,   -56,   -58,
+  -145,   -25,  -145,  -145,   -31,   -23,   -65,  -145,   -67,   -37,
+   -69,  -145,   -16,   -71,  -145,   -18,   -47,  -145,   -17,   -49,
+  -145,   -22,   -19,   -15,   -11,  -145,  -145,   -96,   -88,   -77,
+  -145,   -90,   -78,   -79,   -93,   -80,  -100,   -81,   -94,   -82,
+   -95,   -83,   -84,   -85,  -145,   -91,   -86,    -8,  -145,   -87,
+   -76,    -9,    -6,    -3,   -39,  -145,  -145,  -145,   -10,  -145,
+  -145,  -145,  -145,   -40,   -41,   -38,  -145,  -145,  -145,   -32,
+  -145,  -145,  -145,  -145,  -145,  -145,  -145,  -145,  -145,  -145,
+  -145,  -145,  -130,  -145,  -145,   -42,  -145,   -43,   228,  -101,
+   -98,  -113,   -97,  -115,  -106,  -105,   -89,  -145,  -102,  -145,
+  -104,    -7,   -92,   -99,   -50,   -51,   -52,   -72,  -145,   -57,
+   -54,   -55,  -145,   -29,   -30,   -35,  -145,   -33,   -36,   -28,
+   -63,   -64,   -59,   -61,   -60,   -62,  -145,  -145,   -66,   -68,
+  -145,   -70,  -145,  -131,  -145,  -132,  -134,  -133,   -20,  -145,
+  -145,  -118,  -114,  -117,  -145,  -103,  -145,  -145,  -145,  -145,
+   -26,  -145,   -27,  -145,  -145,  -145,  -145,  -137,  -145,  -126,
+  -120,  -122,  -145,  -141,  -145,  -145,  -135,   -48,   -44,  -119,
+  -116,  -107,  -145,  -109,  -145,  -145,  -127,  -112,  -128,   -74,
+   -75,   -34,  -145,   -73,  -145,  -138,  -142,  -124,  -125,  -145,
+  -133,  -145,  -136,  -145,  -139,  -145,  -143,  -108,  -110,  -111,
+  -145,   -45,   -46,  -123,  -121,  -140,  -144,  -129 ]
+
+racc_goto_table = [
+    71,    17,    51,    74,   116,   129,   164,   128,   157,   165,
+    83,   137,    84,    85,   153,    72,   104,   182,   186,   163,
+   161,   194,   111,     8,   148,   146,   151,   105,   150,   130,
+   131,   102,   149,    73,   122,   127,   107,   136,    67,   215,
+   123,    64,   195,   109,   162,   112,   140,   141,   142,   143,
+   144,   145,   223,    10,   196,     6,     4,   nil,   nil,   nil,
+   157,   nil,   nil,   112,   nil,   124,   125,   126,   190,   189,
+   nil,   186,   182,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+    72,   nil,   133,   134,   nil,   210,   132,   102,   160,   nil,
+   135,   208,   201,   nil,    51,   199,   200,    51,   164,   203,
+   165,   128,   nil,   102,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   210,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   207,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   187,
+   nil,   nil,   176,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   198,   nil,   nil,   nil,   192,   nil,   102,   nil,
+   nil,   135,   nil,   202,   nil,   204,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   213,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   227 ]
+
+racc_goto_check = [
+     8,    10,    32,    19,    33,    24,    39,    22,    40,    41,
+    19,    16,    19,    19,    48,     5,    17,    50,    51,    40,
+    31,    43,    38,     3,    25,    20,    27,    19,    20,    21,
+    21,    32,    26,     3,    34,    28,    18,    14,     7,    43,
+    38,     6,    44,    32,    45,     8,    23,    23,    23,    23,
+    23,    23,    47,     4,    49,     2,     1,   nil,   nil,   nil,
+    40,   nil,   nil,     8,   nil,    19,    19,    19,    40,    31,
+   nil,    51,    50,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+     5,   nil,     8,     8,   nil,    40,    10,    32,    17,   nil,
+    10,    48,    16,   nil,    32,    22,    22,    32,    39,    24,
+    41,    22,   nil,    32,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    40,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,    33,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    19,
+   nil,   nil,    10,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,     8,   nil,   nil,   nil,    10,   nil,    32,   nil,
+   nil,    10,   nil,    10,   nil,    10,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    10,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,     8 ]
+
+racc_goto_pointer = [
+   nil,    56,    55,    23,    53,     7,    36,    33,    -5,   nil,
+     0,   nil,   nil,   nil,   -53,   nil,   -79,   -18,    -4,   -10,
+   -72,   -52,   -73,   -45,   -75,   -74,   -67,   -75,   -44,   nil,
+   nil,   -93,    -3,   -47,   -31,   nil,   nil,   nil,   -28,  -111,
+   -94,  -110,   nil,  -146,  -125,   -69,   nil,  -159,   -88,  -113,
+  -137,  -139 ]
+
+racc_goto_default = [
+   nil,   nil,   nil,   nil,   nil,    12,   nil,   147,    43,     1,
+   103,     2,    21,    24,   nil,    29,   nil,   138,    36,    39,
+   nil,    15,    18,    19,   nil,    26,    28,    30,    33,    65,
+    68,    46,   179,   nil,    54,    56,    58,    60,   nil,   118,
+   119,   120,   114,   178,   nil,   nil,   180,   181,   nil,   nil,
+   155,   156 ]
+
+racc_token_table = {
+ false => 0,
+ Object.new => 1,
+ "." => 2,
+ "->" => 3,
+ :UADDRS => 4,
+ :UDEREF => 5,
+ :UPLUS => 6,
+ :UMINUS => 7,
+ "@pre" => 8,
+ "not" => 9,
+ "sizeof" => 10,
+ "*" => 11,
+ "/" => 12,
+ "%" => 13,
+ "+" => 14,
+ "-" => 15,
+ :RANGE => 16,
+ :IN_RANGE => 17,
+ "<" => 18,
+ "<=" => 19,
+ ">" => 20,
+ ">=" => 21,
+ "==" => 22,
+ "!=" => 23,
+ "and" => 24,
+ "or" => 25,
+ "xor" => 26,
+ "implies" => 27,
+ :POINTER => 28,
+ :INTEGER => 29,
+ :FLOATING => 30,
+ :CHARACTER => 31,
+ :STRING => 32,
+ :TYPEDEF_NAME => 33,
+ :IDENTIFIER => 34,
+ :LABEL => 35,
+ :END_OF_STATEMENT => 36,
+ "context" => 37,
+ "inv" => 38,
+ "pre" => 39,
+ "post" => 40,
+ "(" => 41,
+ ")" => 42,
+ "return" => 43,
+ "in" => 44,
+ "[" => 45,
+ "]" => 46,
+ "," => 47,
+ "&" => 48,
+ "forall" => 49,
+ "|" => 50,
+ "exists" => 51,
+ ".." => 52,
+ "..." => 53,
+ "void" => 54,
+ "char" => 55,
+ "short" => 56,
+ "int" => 57,
+ "long" => 58,
+ "float" => 59,
+ "double" => 60,
+ "signed" => 61,
+ "unsigned" => 62,
+ "struct" => 63,
+ "union" => 64,
+ "const" => 65,
+ "volatile" => 66,
+ "enum" => 67 }
+
+racc_use_result_var = true
+
+racc_nt_base = 68
+
+Racc_arg = [
+ racc_action_table,
+ racc_action_check,
+ racc_action_default,
+ racc_action_pointer,
+ racc_goto_table,
+ racc_goto_check,
+ racc_goto_default,
+ racc_goto_pointer,
+ racc_nt_base,
+ racc_reduce_table,
+ racc_token_table,
+ racc_shift_n,
+ racc_reduce_n,
+ racc_use_result_var ]
+
+Racc_token_to_s_table = [
+'$end',
+'error',
+'"."',
+'"->"',
+'UADDRS',
+'UDEREF',
+'UPLUS',
+'UMINUS',
+'"@pre"',
+'"not"',
+'"sizeof"',
+'"*"',
+'"/"',
+'"%"',
+'"+"',
+'"-"',
+'RANGE',
+'IN_RANGE',
+'"<"',
+'"<="',
+'">"',
+'">="',
+'"=="',
+'"!="',
+'"and"',
+'"or"',
+'"xor"',
+'"implies"',
+'POINTER',
+'INTEGER',
+'FLOATING',
+'CHARACTER',
+'STRING',
+'TYPEDEF_NAME',
+'IDENTIFIER',
+'LABEL',
+'END_OF_STATEMENT',
+'"context"',
+'"inv"',
+'"pre"',
+'"post"',
+'"("',
+'")"',
+'"return"',
+'"in"',
+'"["',
+'"]"',
+'","',
+'"&"',
+'"forall"',
+'"|"',
+'"exists"',
+'".."',
+'"..."',
+'"void"',
+'"char"',
+'"short"',
+'"int"',
+'"long"',
+'"float"',
+'"double"',
+'"signed"',
+'"unsigned"',
+'"struct"',
+'"union"',
+'"const"',
+'"volatile"',
+'"enum"',
+'$start',
+'target',
+'statement',
+'conditions',
+'context',
+'dbc_condition',
+'context_name',
+'declaration',
+'identifier',
+'dbc_condition_start',
+'expression',
+'dbc_steriotype',
+'primary_expression',
+'postfix_expression',
+'argument_expression_list',
+'at_pre_expression',
+'argument_expression',
+'type_name',
+'unary_expression',
+'cast_expression',
+'iterator_declaration',
+'multiplicative_expression',
+'additive_expression',
+'in_expression',
+'range',
+'relational_expression',
+'and_expression',
+'or_expression',
+'xor_expression',
+'primitive_type',
+'struct_or_union',
+'type_qualifier',
+'specifier_qualifier_list',
+'declarator',
+'primitive_type_specifier',
+'type_specifier',
+'struct_or_union_specifier',
+'enum_specifier',
+'struct_or_union_or_enum_name',
+'declarator_sequence',
+'pointer',
+'direct_declarator',
+'declarator_identifier',
+'parameter_type_list',
+'identifier_list',
+'type_qualifier_list',
+'parameter_list',
+'parameter_declaration',
+'abstract_declarator',
+'identifier_sequence',
+'abstract_declarator_sequence',
+'direct_abstract_declarator']
+
+Racc_debug_parser = false
+
+##### racc system variables end #####
+
+ # reduce 0 omitted
+
+ # reduce 1 omitted
+
+ # reduce 2 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 43
+  def _reduce_3( val, _values, result )
+ result = val[1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 44
+  def _reduce_4( val, _values, result )
+ result = []
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 48
+  def _reduce_5( val, _values, result )
+ result = val[0,1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 49
+  def _reduce_6( val, _values, result )
+ val[0] << val[1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 53
+  def _reduce_7( val, _values, result )
+ result = val[1]; self.context = val[1]
+   result
+  end
+.,.,
+
+ # reduce 8 omitted
+
+ # reduce 9 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 63
+  def _reduce_10( val, _values, result )
+ val[0].condition = val[1]; result = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 67
+  def _reduce_11( val, _values, result )
+ result = Condition.new(val[0], val[1])
+   result
+  end
+.,.,
+
+ # reduce 12 omitted
+
+ # reduce 13 omitted
+
+ # reduce 14 omitted
+
+ # reduce 15 omitted
+
+ # reduce 16 omitted
+
+ # reduce 17 omitted
+
+ # reduce 18 omitted
+
+ # reduce 19 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 82
+  def _reduce_20( val, _values, result )
+ result = Paren.new(val[1])
+   result
+  end
+.,.,
+
+ # reduce 21 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 87
+  def _reduce_22( val, _values, result )
+ result = 'ocl__ret_val'
+   result
+  end
+.,.,
+
+ # reduce 23 omitted
+
+ # reduce 24 omitted
+
+ # reduce 25 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 101
+  def _reduce_26( val, _values, result )
+ result = val[0,4].join
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 102
+  def _reduce_27( val, _values, result )
+ result = val[0,4].join
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 103
+  def _reduce_28( val, _values, result )
+ result = val[0,3].join
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 104
+  def _reduce_29( val, _values, result )
+ result = val[0,3].join
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 105
+  def _reduce_30( val, _values, result )
+ result = val[0,3].join
+   result
+  end
+.,.,
+
+ # reduce 31 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 110
+  def _reduce_32( val, _values, result )
+ result = add_old(val[0].to_s)
+   result
+  end
+.,.,
+
+ # reduce 33 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 116
+  def _reduce_34( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+ # reduce 35 omitted
+
+ # reduce 36 omitted
+
+ # reduce 37 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 127
+  def _reduce_38( val, _values, result )
+ result = UAddrs.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 128
+  def _reduce_39( val, _values, result )
+ result = UDeref.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 129
+  def _reduce_40( val, _values, result )
+ result = UPlus.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 130
+  def _reduce_41( val, _values, result )
+ result = UMinus.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 131
+  def _reduce_42( val, _values, result )
+ result = Not.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 132
+  def _reduce_43( val, _values, result )
+ result = SizeOf.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 133
+  def _reduce_44( val, _values, result )
+ result = val[0,4].join
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 135
+  def _reduce_45( val, _values, result )
+ result = Forall.new(val[2], val[4])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 137
+  def _reduce_46( val, _values, result )
+ result = Exists.new(val[2], val[4])
+   result
+  end
+.,.,
+
+ # reduce 47 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 142
+  def _reduce_48( val, _values, result )
+ result = val[0,4].join(' ')
+   result
+  end
+.,.,
+
+ # reduce 49 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 147
+  def _reduce_50( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 148
+  def _reduce_51( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 149
+  def _reduce_52( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+ # reduce 53 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 154
+  def _reduce_54( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 155
+  def _reduce_55( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+ # reduce 56 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 161
+  def _reduce_57( val, _values, result )
+ result = val[2].test_expression(val[0])
+   result
+  end
+.,.,
+
+ # reduce 58 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 166
+  def _reduce_59( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 167
+  def _reduce_60( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 168
+  def _reduce_61( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 169
+  def _reduce_62( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 170
+  def _reduce_63( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 171
+  def _reduce_64( val, _values, result )
+ result = val[0,3].join(' ')
+   result
+  end
+.,.,
+
+ # reduce 65 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 176
+  def _reduce_66( val, _values, result )
+ result = And.new(val[0], val[2])
+   result
+  end
+.,.,
+
+ # reduce 67 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 181
+  def _reduce_68( val, _values, result )
+ result = Or.new(val[0], val[2])
+   result
+  end
+.,.,
+
+ # reduce 69 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 186
+  def _reduce_70( val, _values, result )
+ result = XOr.new(val[0], val[2])
+   result
+  end
+.,.,
+
+ # reduce 71 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 191
+  def _reduce_72( val, _values, result )
+ result = Implies.new(val[0], val[2])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 195
+  def _reduce_73( val, _values, result )
+ result = IteratorRange.new(val[0], val[2])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 201
+  def _reduce_74( val, _values, result )
+ result = Range.new(val[0], val[2], false)
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 203
+  def _reduce_75( val, _values, result )
+ result = Range.new(val[0], val[2], true)
+   result
+  end
+.,.,
+
+ # reduce 76 omitted
+
+ # reduce 77 omitted
+
+ # reduce 78 omitted
+
+ # reduce 79 omitted
+
+ # reduce 80 omitted
+
+ # reduce 81 omitted
+
+ # reduce 82 omitted
+
+ # reduce 83 omitted
+
+ # reduce 84 omitted
+
+ # reduce 85 omitted
+
+ # reduce 86 omitted
+
+ # reduce 87 omitted
+
+ # reduce 88 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 233
+  def _reduce_89( val, _values, result )
+ result = val[1]; result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 235
+  def _reduce_90( val, _values, result )
+ result = CType::Type.new(); result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 240
+  def _reduce_91( val, _values, result )
+ result = CType::Primitive.new(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 241
+  def _reduce_92( val, _values, result )
+ result = val[1].insert(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 246
+  def _reduce_93( val, _values, result )
+ result = CType::Base.new(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 247
+  def _reduce_94( val, _values, result )
+ result = CType::Base.new(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 248
+  def _reduce_95( val, _values, result )
+ result = CType::Base.new(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 249
+  def _reduce_96( val, _values, result )
+ result = CType::Base.new(val[0])
+   result
+  end
+.,.,
+
+ # reduce 97 omitted
+
+ # reduce 98 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 259
+  def _reduce_99( val, _values, result )
+ result = CType::StructUnion.get(val[0], val[1])
+   result
+  end
+.,.,
+
+ # reduce 100 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 266
+  def _reduce_101( val, _values, result )
+ result = val[1]; result.add_qualifier(val[0])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 270
+  def _reduce_102( val, _values, result )
+ result = val[0].first
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 285
+  def _reduce_103( val, _values, result )
+				# the base type of the last element in the declarator sequence
+				# is not a pointer.  that pointer points to a new type which is
+				# appended to the end of the declarator sequence
+				result = val[1]
+				result.last.base_type = val[0]
+				result << val[0].base_type = CType::Type.new()
+   result
+  end
+.,.,
+
+ # reduce 104 omitted
+
+ # reduce 105 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 295
+  def _reduce_106( val, _values, result )
+ result = [CType::Type.new(val[0])]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 297
+  def _reduce_107( val, _values, result )
+ result = val[1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 299
+  def _reduce_108( val, _values, result )
+ result = val[0]; result.last.dimensions << val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 301
+  def _reduce_109( val, _values, result )
+ result = val[0]; result.last.dimensions << nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 303
+  def _reduce_110( val, _values, result )
+ result = val[0]; result.last.parameters = val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 305
+  def _reduce_111( val, _values, result )
+ result = val[0]; result.last.parameters = val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 307
+  def _reduce_112( val, _values, result )
+ result = val[0]; result.last.parameters = nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 312
+  def _reduce_113( val, _values, result )
+ result = CType::Enum[val[1]]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 317
+  def _reduce_114( val, _values, result )
+ result = CType::Pointer.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 319
+  def _reduce_115( val, _values, result )
+ result = CType::Pointer.new()
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 325
+  def _reduce_116( val, _values, result )
+				result = val[2]
+				result.base_type = CType::Pointer.new(val[1])
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 330
+  def _reduce_117( val, _values, result )
+				result = val[1]
+				result.base_type = CType::Pointer.new()
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 334
+  def _reduce_118( val, _values, result )
+ result = val[0,1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 335
+  def _reduce_119( val, _values, result )
+ result = val[0] << val[1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 340
+  def _reduce_120( val, _values, result )
+ result = val[0].finalize
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 341
+  def _reduce_121( val, _values, result )
+ result = val[0].with_ellipses
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 346
+  def _reduce_122( val, _values, result )
+ result = CType::List.new << val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 347
+  def _reduce_123( val, _values, result )
+ result = val[0] << val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 353
+  def _reduce_124( val, _values, result )
+ result = val[1]; result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 355
+  def _reduce_125( val, _values, result )
+ result = val[1]; result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 357
+  def _reduce_126( val, _values, result )
+ result = CType::Type.new(); result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 366
+  def _reduce_127( val, _values, result )
+ result = val[0].finalize
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 371
+  def _reduce_128( val, _values, result )
+ result = CType::List.new << val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 372
+  def _reduce_129( val, _values, result )
+ result = val[0] << val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 377
+  def _reduce_130( val, _values, result )
+ result = CType::Type.new(); result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 379
+  def _reduce_131( val, _values, result )
+ result = val[1]; result.base_type = val[0]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 384
+  def _reduce_132( val, _values, result )
+ result = val[0].first
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 397
+  def _reduce_133( val, _values, result )
+				# create new type, example: int (*)(const char *, const char *)
+				result = [CType::Type.new(), CType::Type.new()]
+				result.first.base_type = val[0] # pointer to a
+				val[0].base_type = result.last # yet to be determined type
+   result
+  end
+.,.,
+
+ # reduce 134 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 405
+  def _reduce_135( val, _values, result )
+				# see direct_declarator for more info
+				result = val[1]
+				result.last.base_type = val[0]
+				result << val[0].base_type = CType::Type.new()
+   result
+  end
+.,.,
+
+ # reduce 136 omitted
+
+module_eval <<'.,.,', 'src/ocl.y', 415
+  def _reduce_137( val, _values, result )
+				# create new type
+				result = [CType::Type.new()]
+				result.last.dimensions << nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 421
+  def _reduce_138( val, _values, result )
+				# create new type
+				result = [CType::Type.new()]
+				result.last.dimensions << val[1]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 422
+  def _reduce_139( val, _values, result )
+ result = val[0]; result.last.dimensions << nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 424
+  def _reduce_140( val, _values, result )
+ result = val[0]; result.last.dimensions << val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 431
+  def _reduce_141( val, _values, result )
+				# create new type
+				result = [CType::Type.new()]
+				result.last.parameters = nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 437
+  def _reduce_142( val, _values, result )
+				# create new type
+				result = [CType::Type.new()]
+				result.last.parameters = val[2]
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 438
+  def _reduce_143( val, _values, result )
+ result = val[0]; result.last.parameters = nil
+   result
+  end
+.,.,
+
+module_eval <<'.,.,', 'src/ocl.y', 440
+  def _reduce_144( val, _values, result )
+ result = val[0]; result.last.parameters = val[2]
+   result
+  end
+.,.,
+
+ def _reduce_none( val, _values, result )
+  result
+ end
+
+  end   # class Parser
+
+end   # module OCL