Mine

// address: 0x8048454
int main(int argc, char **argv, char **envp) {
    int local12; 		// m[r28 - 36]
    int local23; 		// r24
    int local25; 		// r26
    int local26; 		// r27
    int local27; 		// r28
    int local4; 		// m[r28 - 24]
    int local7; 		// m[r28 - 60]
    int local8; 		// m[r28 - 28]

    local4 = 0;
    time();
    srand();
    printf("Flipping coin for %d trials. 0 is Heads, 1 is Tails. < is for items you need to record.\n", local7);
    local8 = 1;
    while (local8 <= 140) {
        proc1();
        printf("Trial %d: %d", local8, local23 & 0x1);
        if (local8 <= 10) {
L1:
            puts(" <");
        } else {
            local25 = (unsigned int) local8 * 0x66666667 >> 32;
            local26 = (local25 >> 1) - (local8 >> 31);
            local12 = local8 - local26 * 5;
            if (local12 != 0) {
                putchar();
                goto L0;
            } else {
                goto L1;
            }
        }
L0:
        local4 += local23 & 0x1;
        local8++;
    }
    local23 = printf("Total tails: %d\n", local4);
    return local23;
}