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

Relevant: http://www.vagrearg.org/content/edm