Extract Even Bits Only from 32-bit Register

Code

#include <stdio.h>
#include <stdint.h>
#define ExtractBit(val,pos) ((val >> pos) & (1U))

uint32_t extract_even_bits(uint32_t reg) {
    // Your code here
    uint32_t Tmp1;
    uint32_t Tmp = 0;
    int k = 0;
    for (int i = 0; i<16; i++){
        Tmp1 = ExtractBit(reg, k);
        Tmp = (Tmp) | (Tmp1 << i);
        k+=2;
    }
    return Tmp;
}

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

Solving Approach