enforce thisTid was called before calling receive

- Simply calling receive in main as stated by the comment
  makes no sense, as nobody could send a message.