procedure main()
  write(keyin() | "no input waiting")
end