#include <stdint.h>
uint32_t babybearextinv(uint32_t a, uint32_t b, uint32_t c, uint32_t d, uint32_t i);
uint32_t babybearinv(uint32_t a);