#include <stdio.h>
#include <stdint.h>
#define BAUD_UPDATE(reg,baud) reg = (reg & ~0xF00) | (baud << 8)
uint32_t set_baud_rate(uint32_t reg, uint8_t baud) {
// Your code here
BAUD_UPDATE(reg,baud);
return reg;
}
int main() {
uint32_t reg;
uint8_t baud;
scanf("%u %hhu", ®, &baud);
printf("%u", set_baud_rate(reg, baud));
return 0;
}