extlib_port_file_number__STUB 3604 src/extlib.c   static SCM_DEFINE_SUBR(extlib_port_file_number__STUB, 1, 0, SCM_OBJ(&extlib_port_file_number__NAME), extlib_port_file_number, NULL, NULL);
extlib_port_file_number__STUB 6052 src/extlib.c     SCM_DEFINE(module, "port-file-number", SCM_OBJ(&extlib_port_file_number__STUB));