# File Sode.tmp.rb, line 1186
def emit_log(no,operand)
  $outfile4.puts "# emit log $eq_no = #{$eq_no}"
  $outfile4.puts "pr = " + $eq_rec[$eq_no].priority.to_s
  $outfile4.puts "k2 =  k - pr "
  $outfile4.puts no + "[k2] = (" + operand + "[k2] - att(k2-1," + operand + "," + no + ",2))/" + operand + "[1]"
  return
end