Is the last line in your failed function example supposed to read:

    (++ counter)

?