A small and simple INI file parser (using standard Parsec)