Fix absent function body from counter_val/3