counter6([], Acc) -> Acc;