#include <stdio.h>
#include <stdint.h>
int main(void)
{
uint16_t skipct, xskipct;
for (skipct = 0, xskipct = 0; skipct < 32; skipct++)
{
xskipct ^= skipct;
printf("%3d: %d\n", skipct
, xskipct
); }
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCmludCBtYWluKHZvaWQpCnsKCXVpbnQxNl90IHNraXBjdCwgeHNraXBjdDsKCglmb3IgKHNraXBjdCA9IDAsIHhza2lwY3QgPSAwOyBza2lwY3QgPCAzMjsgc2tpcGN0KyspCgl7CgkJeHNraXBjdCBePSBza2lwY3Q7CgkJcHJpbnRmKCIlM2Q6ICVkXG4iLCBza2lwY3QsIHhza2lwY3QpOwoJfQoKCXJldHVybiAwOwp9Cg==