Extract and Modify Field in a 32-bit Register

#include <stdio.h>
#include <stdint.h>

uint32_t update_register(uint32_t reg) {
    // Your logic here
    // mask -  15 14 13 12    11 10 9 8
    //          0  1  1  1     1  1 0 0
    // reg 0x7FFF
    // 7F - 0 11111 11
    uint8_t val = (reg & 0x00007C00) >> 10;
    reg = (reg & ~(0x00007C00));

    if (val < 31) {
        val += 1;
    } 
    reg = reg | (val << 10);

    return reg;
}

int main() {
    uint32_t reg;
    scanf("%u", &reg);
    uint32_t updated = update_register(reg);
    printf("%u", updated);
    return 0;
}