define main
  jump nowhere
  return
end