The bug was that the function allocates 'a', then changes the value
of 'a' with the operator ++, and then tries to free 'a'!