EDN reader implementation in C++