define main
  jump end when equal
  mark end
  return
end