void body() {
set = 1; set = 0;
PPBlockInits();
while (1) {
if (!(i < Pdolen)) break;
__rho_2_ = PPMakeDeviceName(lptNamei, PdoType, dcIdi, num);
DName = __rho_2_;
if (DName>0) { break; }
RtlInitUnicodeString(DName);
__rho_3_ = IoCreateDevice(Pdoi); pc = PC_IO; pc = PC_NIO;
status = __rho_3_;
if (STATUS_SUCCESS != status) {
Pdoi = 0;
if (STATUS_OBJECT_NAME_COLLISION == status) {
ExFreePool(DName);
num++;
//goto loc_continue;
}
break;
} else {
i++;
}
}
num = 0;
__rho_1_ = nondet();
if(__rho_1_ > 0) {
unset = 1; unset = 0;
}
PPUnblockInits();
loc_continue:0;
while(1) { dummy = dummy; } L_return: return 0;
}
void main() {
set = 1; set = 0;
PPBlockInits();
while (i < Pdolen) {
DName = PPMakeDeviceName(lptNamei, PdoType, dcIdi, num);
if (!DName) { break; }
RtlInitUnicodeString(DName);
status = IoCreateDevice(Pdoi); pc = PC_IO; pc = PC_NIO;
if (STATUS_SUCCESS != status) {
Pdoi = 0;
if (STATUS_OBJECT_NAME_COLLISION == status) {
ExFreePool(DName);
num++;
goto loc_continue;
}
break;
} else {
i++;
}
}
num = 0;
unset = 1; unset = 0;
PPUnblockInits();
loc_continue:0;
}