What is the time complexity $T(n)$ of the nested loops below? For simplicity, you may assume that $n$ is a power of $2.$ That is$,n=2^k$ for some positive integer $k.$

for

$j=n$;

while

$$ body of the while loop$>//$Needs $(1).$

$\}$

$j={|}_{{?}_{?}}\frac{j}{2_{{?}_{?}}}|$;

$\}$