text: /* This file has been autogenerated by Ivory
   * Compiler version  0.1.0.4
   */
  #include "output_tb_Decrypt_write_self2server_monitor.h"
  
  void callback_output_tb_Decrypt_write_self2server_2(const uint8_t n_var0[80U])
  {
      tb_Decrypt_write_self2server(n_var0);
  }
  