A small INI parser in C++