We can't use STL, because libcont may call destructors twice!.
