sS webSocketButterBot(S botID) {
  ret "ws://butter.botcompany.de:8080/" + psI(botID);
}