43    UInt w;  in main()  local
45    w = 0xFEDC1928;  in main()
49       do_lzcnt32(&flags, &res, w);  in main()
50       printf("lzcntl %08x -> %08x %04x\n", w, res, flags);  in main()
51       if (w == 0) break;  in main()
52       w = ((w >> 2) | (w >> 1)) + (w / 17);  in main()
55    w = 0xFEDC1928;  in main()
59       do_lzcnt16(&flags, &res, w);  in main()
60       printf("lzcntw %08x -> %08x %04x\n", w, res, flags);  in main()
61       if (w == 0) break;  in main()
62       w = ((w >> 2) | (w >> 1)) + (w / 17);  in main()