1LABEL0:
2while(8)        JIP: LABEL0                                     { align1 1Q };
3while(16)       JIP: LABEL0                                     { align1 1H };
4while(8)        JIP: LABEL0                                     { align16 1Q };
5(-f0.0) while(8) JIP: LABEL0                                    { align1 1Q };
6(-f0.0) while(16) JIP: LABEL0                                   { align1 1H };
7