int main() {
double d = 1.0;
upc_forall(;;;d) {
}
}