getBitfield slice value
        | isEmptySlice slice = token
        | otherwise = simExtractBitfield slice value
getBitfield slice value
        | isEmptySlice slice = token
        | otherwise = simExtractBitfield slice value
getBitfield slice value
        | isEmptySlice slice = token
        | otherwise = simExtractBitfield slice value