#include <stdio.h>
#include <stdint.h>
// CG
uint32_t set_baud_rate(uint32_t reg, uint8_t baud)
{
/* Mask for 4-bit baud field at bits 8–11 */
uint32_t BAUD_MASK = (0xFU << 8);
/* Clear existing baud bits, then insert new baud value */
reg = (reg & ~BAUD_MASK) | ((baud & 0xF) << 8);
return reg;
}
int main(void)
{
uint32_t reg;
uint8_t baud;
scanf("%u %hhu", ®, &baud);
printf("%u", set_baud_rate(reg, baud));
return 0;
}