BTF_INT_ENC
*(int *)(t + 1) = BTF_INT_ENC(0, 0, 8);
BTF_INT_ENC(encoding, bits_offset, bits)
BTF_INT_ENC(0, 0, 32),
BTF_INT_ENC(encoding, bits_offset, bits)
BTF_INT_ENC(encoding, bits_offset, bits)