intmax_t_from_lisp  760 src/pdumper.c    intmax_t n = intmax_t_from_lisp (value);
intmax_t_from_lisp 3767 src/pdumper.c          intmax_t value = intmax_t_from_lisp (dump_pop (&lreloc));