+ *
+ * NOTE: due to a hack that allows user defined functions to be parsed, the map
+ * value of type reader_func is internally treated as an unsigned and not as a
+ * function pointer!! The unsigned has to correspond to the serial number of
+ * the defined GiNaC function.