#include "stdint.h"

void handleSetEth2WithdrawalIndex(uint8_t p1,
                                  uint8_t p2,
                                  uint8_t *dataBuffer,
                                  uint16_t dataLength,
                                  unsigned int *flags,
                                  unsigned int *tx);