;;; -*- cold-load:t; Mode:Common-Lisp; Package:SYSTEM-INTERNALS; Fonts:(CPTFONT CPTFONTB); Base:10. -*-

;;;                           RESTRICTED RIGHTS LEGEND

;;;Use, duplication, or disclosure by the Government is subject to
;;;restrictions as set forth in subdivision (c)(1)(ii) of the Rights in
;;;Technical Data and Computer Software clause at 52.227-7013.
;;;
;;;                     TEXAS INSTRUMENTS INCORPORATED.
;;;                              P.O. BOX 2909
;;;                           AUSTIN, TEXAS 78769
;;;                                 MS 2151
;;;
;;; Copyright (C) 1986-1989 Texas Instruments Incorporated.  All rights reserved.


(DEFUN UNENCAPSULATE-FUNCTION-SPEC (function-spec &optional encapsulation-types)
;; this is defined here and in the encapsulations file. DO NOT REMOVE it as the
;; encapsulation file is not part of the minimal kernel
  (declare (ignore encapsulation-types))
  function-spec)

;;; this is actually cold-loaded as part of MAKE-SYSTEM
;;;(DEFUN RECORD-SOURCE-FILE-NAME (function-spec &OPTIONAL type no-query)
;;;;; this is defined here for the sake of the minimum kernel. DO NOT REMOVE.
;;;  (declare (ignore function-spec type no-query))
;;;  t)