void FUN_00406238(size_t param_1,short param_2)

{
  tx_write(g_txbuf,param_1);
  g_tx_len = param_1;
  if (param_2 != 0) {
    memcpy(g_re_txbuf,g_txbuf,param_1)   //possible issue identified - semgrep
    g_re_tx_opcode = (undefined1)g_opcode;
    g_rtxseqnum = param_2;
    g_re_tx_len = param_1;
  }
  return;
}