一道神秘的编译题。C语言循环语句的格式：
for (variable＝a；variable !＝b；variable＋＝c)
statement;
该循环语句的初值是a，结束条件是循环变量不等于b，步长为c。当常量a，b和c的值确定时，需要知道循环多少次。假定运算限制在二进制位数k位（0≤x≤2k）无符号整数，即模2k。
一道神秘的编译题。C语言循环语句的格式：
for (variable＝a；variable !＝b；variable＋＝c)
statement;
该循环语句的初值是a，结束条件是循环变量不等于b，步长为c。当常量a，b和c的值确定时，需要知道循环多少次。假定运算限制在二进制位数k位（0≤x≤2k）无符号整数，即模2k。
有多个测试例。每个测试例一行，是4个整数：a，b，c，k，其中k（1≤k≤32）是运算时的二进制位数，限制循环变量和参数a，b和c（1≤a，b，c＜2k）的范围。
一行4个0时，表示输入结束。
每个测试例一行，是循环次数；当死循环时，输出“FOREVER”。
3 3 2 16 3 7 2 16 7 3 2 16 3 4 2 16 0 0 0 0
0 2 32766 FOREVER