(** Echo bot example *)