New example: Chat (polished and extended version)