procedure main()
  L := [mia, ben, mia, stan, mia]
  write(find(L, "mia"))
end

procedure find(L, S)
  suspend (S = !L)
end