sign_extend32
static __always_inline __s32 sign_extend32(__u32 value, int index)
static int32_t sign_extend32(int32_t value, int index)