define main
  move nowhere
  read
  return
end