Hi, I think there is a bug in the functions that convert strings to ex. I attach a minimal program that segfaults on my machine. I am using gcc 13.2.0 on Ubuntu 23.10, x86_64, CPU Intel i9-12900H. The problem only arises if I compile GiNaC using the CMake script. The same program works if I compile with configure && make. The problem appears to be in parser/default_reader.cpp, where conversions between pointers to functions and integers are used. The code assumes that the integer underlylng a pointer to function is even, relying on the fact that functions are aligned; this latter condition appears to fail on my system when compiling with CMake. Indeed, inserting a pragma command inside parser/default_reader.cpp (see attached patch) fixes the problem. I do not know if this can be made portable across compilers; maybe it would be easier to modify the code by replacing reader_func with a class that handles the conversion in a type-safe way? Diego Conti