int main() {
double d = 1.0;
upc_forall(int i=0;i<10;i++;d) {
}
}