CHECK_USER_PTR    871 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    882 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    892 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    903 src/emacs-module.c   CHECK_USER_PTR (lisp);