# File lib/ruby_to_ansi_c.rb, line 662
  def process_while(exp)
    cond = process exp.shift
    body = process exp.shift
    body += ";" unless body =~ /;/
    is_precondition = exp.shift
    code = "while (#{cond}) {\n#{body.strip}\n}"
    code = "{\n#{body.strip}\n} while (#{cond})" unless is_precondition
    return code
  end