The program ndes contains 12 non-nested loops, none of them are context sensitive.

The number of iterations of the loops in the program is input dependent (bit, value).

When it is run as is, the result is

No. of iterations for main_des_L1 = 32
No. of iterations for main_des_L2 = 16
No. of iterations for main_des_L3 = 32
No. of iterations for main_des_L4 = 16
No. of iterations for main_des_L5 = 28
No. of iterations for main_des_L6 = 31
No. of iterations for main_des_L4_ks_L1 = 256
No. of iterations for main_des_L4_ks_L2 = 24
No. of iterations for main_des_L2_cyfun_L1 = 256
No. of iterations for main_des_L2_cyfun_L2 = 64
No. of iterations for main_des_L2_cyfun_L3 = 128
No. of iterations for main_des_L2_cyfun_L4 = 512