void decide() { while(((float)rand() / RAND_MAX) > 0.00000001); push_the_button(); } int main() { decide(); }