CHECK_USER_PTR    820 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    829 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    838 src/emacs-module.c   CHECK_USER_PTR (lisp);
CHECK_USER_PTR    848 src/emacs-module.c   CHECK_USER_PTR (lisp);