strong.f

strongForth: a strongly typed dialect of Forth implemented in ANS Forth.

' -ROT EXPORT SWAP ( DOUBLE SINGLE -- 2ND 1ST )
' 2SWAP EXPORT SWAP ( DOUBLE DOUBLE -- 2ND 1ST )
' OVER EXPORT OVER ( SINGLE SINGLE -- 1ST 2ND 1ST )
' OVER-SD EXPORT OVER ( SINGLE DOUBLE -- 1ST 2ND 1ST )
' OVER-DS EXPORT OVER ( DOUBLE SINGLE -- 1ST 2ND 1ST )
' 2OVER EXPORT OVER ( DOUBLE DOUBLE -- 1ST 2ND 1ST )
' NIP EXPORT NIP ( SINGLE SINGLE -- 2ND )
' NIP-SD EXPORT NIP ( SINGLE DOUBLE -- 2ND )
' NIP-DS EXPORT NIP ( DOUBLE SINGLE -- 2ND )
' 2NIP EXPORT NIP ( DOUBLE DOUBLE -- 2ND )
' TUCK EXPORT TUCK ( SINGLE SINGLE -- 2ND 1ST 2ND )
' TUCK-SD EXPORT TUCK ( SINGLE DOUBLE -- 2ND 1ST 2ND )
' TUCK-DS EXPORT TUCK ( DOUBLE SINGLE -- 2ND 1ST 2ND )
' 2TUCK EXPORT TUCK ( DOUBLE DOUBLE -- 2ND 1ST 2ND )
' ROT EXPORT ROT ( SINGLE SINGLE SINGLE -- 2ND 3RD 1ST )
' ROT-SSD EXPORT ROT ( SINGLE SINGLE DOUBLE -- 2ND 3RD 1ST )
' ROT-SSD EXPORT ROT ( SINGLE DOUBLE SINGLE -- 2ND 3RD 1ST )
' ROT-SDD EXPORT ROT ( SINGLE DOUBLE DOUBLE -- 2ND 3RD 1ST )
' 2SWAP EXPORT ROT ( DOUBLE SINGLE SINGLE -- 2ND 3RD 1ST )
' ROT-DSD EXPORT ROT ( DOUBLE SINGLE DOUBLE -- 2ND 3RD 1ST )
' ROT-DSD EXPORT ROT ( DOUBLE DOUBLE SINGLE -- 2ND 3RD 1ST )
' 2ROT EXPORT ROT ( DOUBLE DOUBLE DOUBLE -- 2ND 3RD 1ST )
' FALSE EXPORT S>D ( SINGLE -- DOUBLE )
' S>D EXPORT S>D ( SIGNED -- SIGNED-DOUBLE )
' D>S EXPORT D>S ( DOUBLE -- SINGLE )
' NOOP EXPORT SPLIT ( DOUBLE -- SINGLE SINGLE )
' NOOP EXPORT MERGE ( SINGLE SINGLE -- DOUBLE )
' ! EXPORT ! ( SINGLE ADDRESS -> 1ST -- )
' 2! EXPORT ! ( DOUBLE ADDRESS -> 1ST -- )
' C! EXPORT ! ( SINGLE CADDRESS -> 1ST -- )
' @ EXPORT @ ( ADDRESS -> SINGLE -- 2ND )
' 2@ EXPORT @ ( ADDRESS -> DOUBLE -- 2ND )
' C@ EXPORT @ ( CADDRESS -> SINGLE -- 2ND )
' C@EXT EXPORT @ ( CADDRESS -> SIGNED -- 2ND )
' C@EXT EXPORT @ ( CADDRESS -> FLAG -- 2ND )
' FILL-S EXPORT FILL ( ADDRESS -> SINGLE UNSIGNED 2ND -- )
' FILL-D EXPORT FILL ( ADDRESS -> DOUBLE UNSIGNED 2ND -- )
' FILL EXPORT FILL ( CADDRESS -> SINGLE UNSIGNED 2ND -- )
' ERASE-S EXPORT ERASE ( ADDRESS -> SINGLE UNSIGNED -- )
' ERASE-D EXPORT ERASE ( ADDRESS -> DOUBLE UNSIGNED -- )
' ERASE-C EXPORT ERASE ( CADDRESS -> SINGLE UNSIGNED -- )
' BLANK EXPORT BLANK ( CADDRESS -> CHARACTER UNSIGNED -- )
' MOVE-S EXPORT MOVE ( ADDRESS -> SINGLE ADDRESS -> 2ND UNSIGNED -- )
' MOVE-D EXPORT MOVE ( ADDRESS -> DOUBLE ADDRESS -> 2ND UNSIGNED -- )
' MOVE-C EXPORT MOVE ( CADDRESS -> SINGLE CADDRESS -> 2ND UNSIGNED -- )
' SEARCH EXPORT SEARCH ( CADDRESS -> CHARACTER UNSIGNED 1ST 3RD -- 1ST 3RD FLAG )
' PAD EXPORT PAD ( -- CADDRESS -> CHARACTER )
' + EXPORT + ( INTEGER INTEGER -- 1ST )
' + EXPORT + ( ADDRESS INTEGER -- 1ST )
' CELLS+ EXPORT + ( ADDRESS -> SINGLE INTEGER -- 1ST )
' DCELLS+ EXPORT + ( ADDRESS -> DOUBLE INTEGER -- 1ST )
' CHARS+ EXPORT + ( CADDRESS INTEGER -- 1ST )
' D+  EXPORT + ( INTEGER-DOUBLE INTEGER-DOUBLE -- 1ST )
' UM+ EXPORT + ( INTEGER-DOUBLE INTEGER -- 1ST )
' M+ EXPORT + ( INTEGER-DOUBLE SIGNED -- 1ST )
' - EXPORT - ( INTEGER INTEGER -- 1ST )
' - EXPORT - ( ADDRESS INTEGER -- 1ST )
' CELLS- EXPORT - ( ADDRESS -> SINGLE INTEGER -- 1ST )
' DCELLS- EXPORT - ( ADDRESS -> DOUBLE INTEGER -- 1ST )
' CHARS- EXPORT - ( CADDRESS INTEGER -- 1ST )
' D- EXPORT - ( INTEGER-DOUBLE INTEGER-DOUBLE -- 1ST )
' UM- EXPORT - ( INTEGER-DOUBLE INTEGER -- 1ST )
' M- EXPORT - ( INTEGER-DOUBLE SIGNED -- 1ST )
' - EXPORT - ( ADDRESS 1ST -- SIGNED )
' -S EXPORT - ( ADDRESS -> SINGLE 1ST -- SIGNED )
' -D EXPORT - ( ADDRESS -> DOUBLE 1ST -- SIGNED )
' -C EXPORT - ( CADDRESS 1ST -- SIGNED )
' 1+ EXPORT 1+ ( INTEGER -- 1ST )
' 1+ EXPORT 1+ ( ADDRESS -- 1ST )
' CELL+ EXPORT 1+ ( ADDRESS -> SINGLE -- 1ST )
' 2CELLS+ EXPORT 1+ ( ADDRESS -> DOUBLE -- 1ST )
' CHAR+ EXPORT 1+ ( CADDRESS -- 1ST )
' D1+ EXPORT 1+ ( INTEGER-DOUBLE -- 1ST )
' 1- EXPORT 1- ( INTEGER -- 1ST )
' 1- EXPORT 1- ( ADDRESS -- 1ST )
' CELL- EXPORT 1- ( ADDRESS -> SINGLE -- 1ST )
' 2CELLS- EXPORT 1- ( ADDRESS -> DOUBLE -- 1ST )
' CHAR- EXPORT 1- ( CADDRESS -- 1ST )
' D1- EXPORT 1- ( INTEGER-DOUBLE -- 1ST )
' +! EXPORT +! ( INTEGER ADDRESS -> INTEGER -- )
' D+! EXPORT +! ( INTEGER-DOUBLE ADDRESS -> INTEGER-DOUBLE -- )
' UM+! EXPORT +! ( INTEGER ADDRESS -> INTEGER-DOUBLE -- )
' M+! EXPORT +! ( SIGNED ADDRESS -> INTEGER-DOUBLE -- )
' C+! EXPORT +! ( INTEGER CADDRESS -> INTEGER -- )
' +! EXPORT +! ( INTEGER ADDRESS -> ADDRESS -- )
' +!-S EXPORT +! ( INTEGER ADDRESS -> ADDRESS -> SINGLE -- )
' +!-D EXPORT +! ( INTEGER ADDRESS -> ADDRESS -> DOUBLE -- )
' +!-C EXPORT +! ( INTEGER ADDRESS -> CADDRESS -- )
' * EXPORT * ( INTEGER UNSIGNED -- 1ST )
' * EXPORT * ( SIGNED SIGNED -- 1ST )
' TM* EXPORT * ( INTEGER-DOUBLE UNSIGNED -- 1ST )
' UM* EXPORT M* ( UNSIGNED UNSIGNED -- UNSIGNED-DOUBLE )
' M* EXPORT M* ( SIGNED SIGNED -- SIGNED-DOUBLE )
' U/ EXPORT / ( UNSIGNED UNSIGNED -- 1ST )
' / EXPORT / ( SIGNED SIGNED -- 1ST )
' M/ EXPORT / ( UNSIGNED-DOUBLE UNSIGNED -- 1ST )
' UMOD EXPORT MOD ( UNSIGNED UNSIGNED -- 2ND )
' MOD EXPORT MOD ( SIGNED SIGNED -- 2ND )
' UMMOD EXPORT MOD ( UNSIGNED-DOUBLE UNSIGNED -- 2ND )
' U/MOD EXPORT /MOD ( UNSIGNED UNSIGNED -- 2ND 1ST )
' /MOD EXPORT /MOD ( SIGNED SIGNED -- 2ND 1ST )
' TM/MOD EXPORT /MOD ( UNSIGNED-DOUBLE UNSIGNED -- 2ND 1ST )
' U*/ EXPORT */ ( UNSIGNED UNSIGNED UNSIGNED -- 1ST )
' */ EXPORT */ ( SIGNED SIGNED SIGNED -- 1ST )
' M*/ EXPORT */ ( UNSIGNED-DOUBLE UNSIGNED UNSIGNED -- 1ST )
' U*/MOD EXPORT */MOD ( UNSIGNED UNSIGNED UNSIGNED -- 3RD 1ST )
' */MOD EXPORT */MOD ( SIGNED SIGNED SIGNED -- 3RD 1ST )
' TM*/MOD EXPORT */MOD ( UNSIGNED-DOUBLE UNSIGNED UNSIGNED -- 3RD 1ST )
' FM/MOD EXPORT FM/MOD ( SIGNED-DOUBLE SIGNED -- 2ND SIGNED )
' SM/REM EXPORT SM/REM ( SIGNED-DOUBLE SIGNED -- 2ND SIGNED )
' UM/MOD EXPORT UM/MOD ( UNSIGNED-DOUBLE UNSIGNED -- 2ND UNSIGNED )
' 2* EXPORT 2* ( INTEGER -- 1ST )
' D2* EXPORT 2* ( INTEGER-DOUBLE -- 1ST )
' U2/ EXPORT 2/ ( UNSIGNED -- 1ST )
' 2/ EXPORT 2/ ( SIGNED -- 1ST )
' DU2/ EXPORT 2/ ( UNSIGNED-DOUBLE -- 1ST )
' D2/ EXPORT 2/ ( SIGNED-DOUBLE -- 1ST )
' ABS EXPORT ABS ( SIGNED -- 1ST )
' DABS EXPORT ABS ( SIGNED-DOUBLE -- 1ST )
' NEGATE EXPORT NEGATE ( INTEGER -- 1ST )
' DNEGATE EXPORT NEGATE ( INTEGER-DOUBLE -- 1ST )
' UMIN EXPORT MIN ( INTEGER 1ST -- 1ST )
' MIN EXPORT MIN ( SIGNED 1ST -- 1ST )
' UMIN EXPORT MIN ( ADDRESS 1ST -- 1ST )
' DUMIN EXPORT MIN ( INTEGER-DOUBLE 1ST -- 1ST )
' DMIN EXPORT MIN ( SIGNED-DOUBLE 1ST -- 1ST )
' UMAX EXPORT MAX ( INTEGER 1ST -- 1ST )
' MAX EXPORT MAX ( SIGNED 1ST -- 1ST )
' UMAX EXPORT MAX ( ADDRESS 1ST -- 1ST )
' DUMAX EXPORT MAX ( INTEGER-DOUBLE 1ST -- 1ST )
' DMAX EXPORT MAX ( SIGNED-DOUBLE 1ST -- 1ST )
' U< EXPORT < ( INTEGER 1ST -- FLAG )
' < EXPORT < ( SIGNED 1ST -- FLAG )
' U< EXPORT < ( ADDRESS 1ST -- FLAG )
' DU< EXPORT < ( INTEGER-DOUBLE 1ST -- FLAG )
' D< EXPORT < ( SIGNED-DOUBLE 1ST -- FLAG )
' U> EXPORT > ( INTEGER 1ST -- FLAG )
' > EXPORT > ( SIGNED 1ST -- FLAG )
' U> EXPORT > ( ADDRESS 1ST -- FLAG )
' DU> EXPORT > ( INTEGER-DOUBLE 1ST -- FLAG )
' D> EXPORT > ( SIGNED-DOUBLE 1ST -- FLAG )
' = EXPORT = ( SINGLE 1ST -- FLAG )
' D= EXPORT = ( DOUBLE 1ST -- FLAG )
' <> EXPORT <> ( SINGLE 1ST -- FLAG )
' D<> EXPORT <> ( DOUBLE 1ST -- FLAG )
' 0< EXPORT 0< ( SIGNED -- FLAG )
' D0< EXPORT 0< ( SIGNED-DOUBLE -- FLAG )
' 0> EXPORT 0> ( SIGNED -- FLAG )
' D0> EXPORT 0> ( SIGNED-DOUBLE -- FLAG )
' 0= EXPORT 0= ( SINGLE -- FLAG )
' D0= EXPORT 0= ( DOUBLE -- FLAG )
' 0<> EXPORT 0<> ( SINGLE -- FLAG )
' D0<> EXPORT 0<> ( DOUBLE -- FLAG )
' WITHIN EXPORT WITHIN ( INTEGER 1ST 1ST -- FLAG )
' WITHIN EXPORT WITHIN ( ADDRESS 1ST 1ST -- FLAG )
' AND EXPORT AND ( SINGLE LOGICAL -- 1ST )
' OR EXPORT OR ( SINGLE LOGICAL -- 1ST )
' XOR EXPORT XOR ( SINGLE LOGICAL -- 1ST )
' INVERT EXPORT INVERT ( LOGICAL -- 1ST )
' 2* EXPORT LSHIFT ( LOGICAL -- 1ST )
' LSHIFT EXPORT LSHIFT ( LOGICAL UNSIGNED -- 1ST )
' U2/ EXPORT RSHIFT ( LOGICAL -- 1ST )
' RSHIFT EXPORT RSHIFT ( LOGICAL UNSIGNED -- 1ST )
' /STRING EXPORT /STRING ( CADDRESS -> CHARACTER UNSIGNED INTEGER -- 1ST 3RD )
' 1/STRING EXPORT /STRING ( CADDRESS -> CHARACTER UNSIGNED -- 1ST 3RD )
' HERE EXPORT HERE ( -- ADDRESS )
' ALIGN EXPORT ALIGN ( -- )
' ALIGNED EXPORT ALIGNED ( ADDRESS -- 1ST )
' , EXPORT , ( SINGLE -- )
' 2, EXPORT , ( DOUBLE -- )
' C, EXPORT C, ( SINGLE -- )
' ALLOT EXPORT ALLOT ( INTEGER -- )
' UNUSED EXPORT UNUSED ( -- UNSIGNED )
' DICT-HERE EXPORT DICT-HERE ( -- ADDRESS )
' DICT, EXPORT DICT, ( SINGLE -- )
' 2DICT, EXPORT DICT, ( DOUBLE -- )
' DICT-ALLOT EXPORT DICT-ALLOT ( INTEGER -- )
' DICT-ALIGN EXPORT DICT-ALIGN ( -- )
' DICT-NAME, EXPORT DICT-NAME, ( CADDRESS -> CHARACTER UNSIGNED -- )
' CHARS EXPORT CHARS ( INTEGER -- 1ST )
' CELLS EXPORT CELLS ( INTEGER -- 1ST )
' KEY EXPORT KEY ( -- CHARACTER )
' ACCEPT EXPORT ACCEPT ( CADDRESS -> CHARACTER INTEGER -- 3RD )
' EMIT EXPORT EMIT ( INTEGER -- )
' TYPE EXPORT TYPE ( CADDRESS -> CHARACTER UNSIGNED -- )
' COMPARE EXPORT COMPARE ( CADDRESS -> CHARACTER UNSIGNED 1ST 3RD -- SIGNED )
' NOOP EXPORT NOOP ( -- )
' TRUE EXPORT TRUE ( -- FLAG )
' FALSE EXPORT FALSE ( -- FLAG )
' CR EXPORT CR ( -- )
' BL EXPORT BL ( -- CHARACTER )
' BASE EXPORT BASE ( -- ADDRESS -> UNSIGNED )
' >R EXPORT (>R) ( SINGLE -- )
' 2>R EXPORT (>R) ( DOUBLE -- )
' RDROP EXPORT (RDROP) ( -- ) IMMEDIATE
' DRDROP EXPORT (DRDROP) ( -- ) IMMEDIATE
' DT-PREFIX EXPORT DT-PREFIX ( -- DATA-TYPE )
' DT-INPUT EXPORT DT-INPUT ( -- DATA-TYPE )
' DT-OUTPUT EXPORT DT-OUTPUT ( -- DATA-TYPE )
' DT-OFFSET EXPORT DT-OFFSET ( -- DATA-TYPE )
' DT-AND EXPORT AND ( DATA-TYPE DATA-TYPE -- 1ST )
' DT-OR EXPORT OR ( DATA-TYPE DATA-TYPE -- 1ST )
' DT-XOR EXPORT XOR ( DATA-TYPE DATA-TYPE -- 1ST )
' DT-INVERT EXPORT INVERT ( DATA-TYPE -- 1ST )
' DT-ATTRIBUTE? EXPORT ATTRIBUTE? ( DATA-TYPE DATA-TYPE -- FLAG )
' DT-NULL? EXPORT NULL? ( DATA-TYPE -- FLAG )
' OFFSET EXPORT OFFSET ( DATA-TYPE -- UNSIGNED )
' OFFSET+ EXPORT OFFSET+ ( DATA-TYPE INTEGER -- 1ST )
' FALSE EXPORT NEW-TUPLE ( -- TUPLE )
' T> EXPORT T> ( TUPLE -> SINGLE -- 1ST 2ND )
' 2T> EXPORT T> ( TUPLE -> DOUBLE -- 1ST 2ND )
' >T EXPORT >T ( TUPLE -> SINGLE 2ND -- 1ST )
' 2>T EXPORT >T ( TUPLE -> DOUBLE 2ND -- 1ST )
' TDROP EXPORT DROP ( TUPLE -- )
' DUP EXPORT SIZE ( TUPLE -- 1ST UNSIGNED )
' DTP@ EXPORT DTP@ ( -- ADDRESS -> DATA-TYPE )
' DTP! EXPORT DTP! ( -- )
' DTP| EXPORT DTP| ( -- )
' >DT EXPORT >DT ( DATA-TYPE -- )
' DT> EXPORT DT> ( -- DATA-TYPE FLAG )
' DT-DEPTH EXPORT DEPTH ( -- UNSIGNED )
' PARAM, EXPORT PARAM, ( STACK-DIAGRAM DATA-TYPE -- 1ST )
' (PARAM) EXPORT (PARAM) ( STACK-DIAGRAM DATA-TYPE -- 1ST )
' -- EXPORT -- ( STACK-DIAGRAM -- 1ST )
' DT-> EXPORT -> ( -- ) IMMEDIATE
' -> EXPORT -> ( STACK-DIAGRAM -- 1ST )
' TH EXPORT TH ( STACK-DIAGRAM UNSIGNED -- 1ST )
' ( EXPORT ( ( -- FLAG STACK-DIAGRAM ) IMMEDIATE
' STATE! EXPORT STATE! ( SINGLE -- )
' <DIAGRAM EXPORT <DIAGRAM ( FLAG STACK-DIAGRAM -- 2ND )
' DIAGRAM> EXPORT DIAGRAM> ( STACK-DIAGRAM -- )
' ENCLOSE-DIAGRAM EXPORT ENCLOSE-DIAGRAM ( STACK-DIAGRAM -- 1ST ADDRESS -> DATA-TYPE ADDRESS -> DATA-TYPE )
' 2CELLS+ EXPORT PARAMS ( DEFINITION -- ADDRESS -> DATA-TYPE )
' PARAM@ EXPORT PARAM@ ( DEFINITION UNSIGNED -- DATA-TYPE )
' END-DIAGRAM EXPORT END-DIAGRAM ( STACK-DIAGRAM -- )
' PARAMS>DT EXPORT PARAMS>DT ( DEFINITION DATA-TYPE -- )
' ALL-PARAMS>DT EXPORT ALL-PARAMS>DT ( DEFINITION UNSIGNED -- 1ST )
' ) EXPORT ) ( FLAG STACK-DIAGRAM -- )
' )COLON EXPORT ) ( COLON-SYS FLAG STACK-DIAGRAM -- 1ST )
' FORTH-WID EXPORT FORTH-WORDLIST ( -- WID )
' LOCAL-WID EXPORT LOCAL-WORDLIST ( -- WID )
' ENVIRONMENT-WID EXPORT ENVIRONMENT-WORDLIST ( -- WID )
' #VOCS EXPORT #VOCS ( -- UNSIGNED )
' #ORDER EXPORT #ORDER ( -- ADDRESS -> UNSIGNED )
' VOC-LINK EXPORT VOC-LINK ( -- ADDRESS -> DEFINITION )
' CONTEXT EXPORT CONTEXT ( -- ADDRESS -> WID )
' GET-CURRENT EXPORT GET-CURRENT ( -- WID )
' SET-CURRENT EXPORT SET-CURRENT ( WID -- )
' LATEST EXPORT LATEST ( -- DEFINITION ) VALUE-ATTRIBUTE +ATTRIBUTE
' LATEST! EXPORT LATEST! ( -- )
' NONAME? EXPORT NONAME? ( DEFINITION -- FLAG )
' ?NONAME EXPORT ?NONAME ( DEFINITION -- )
' NAME EXPORT NAME ( DEFINITION -- CADDRESS -> CHARACTER UNSIGNED )
' END-DEF EXPORT END-DEF ( -- )
' (CREATE) EXPORT (CREATE) ( TOKEN -- )
' (CREATE-NONAME) EXPORT (CREATE-NONAME) ( TOKEN -- )
' DICT-CREATE EXPORT CREATE ( -- )
' #PARAMS EXPORT #PARAMS ( DEFINITION -- UNSIGNED )
' @ EXPORT >TOKEN ( DEFINITION -- TOKEN )
' DICT>BODY EXPORT >BODY ( DEFINITION -- ADDRESS )
' SEARCH-WID EXPORT SEARCH ( CADDRESS -> CHARACTER UNSIGNED SINGLE SEARCH-CRITERION  WID -- DEFINITION SIGNED )
' SEARCH-ALL EXPORT SEARCH-ALL ( CADDRESS -> CHARACTER UNSIGNED SINGLE SEARCH-CRITERION -- DEFINITION SIGNED )
' ?DATA-TYPE EXPORT ?DATA-TYPE ( DEFINITION -- DATA-TYPE )
' DT EXPORT DT ( -- DATA-TYPE )
' PARENT EXPORT PARENT ( DATA-TYPE -- 1ST )
' ANCESTOR EXPORT ANCESTOR ( DATA-TYPE -- 1ST )
' DT-SIZE EXPORT SIZE ( DATA-TYPE -- UNSIGNED )
' ?DT-SIZE EXPORT ?SIZE ( DATA-TYPE -- UNSIGNED )
' DEPTH-SP EXPORT DEPTH-SP ( -- UNSIGNED )
' DTDROP EXPORT DTDROP ( -- DATA-TYPE )
' STATE EXPORT STATE ( -- ADDRESS -> FLAG )
' [ EXPORT [ ( -- ) IMMEDIATE
' ] EXPORT ] ( -- )
' CAST EXPORT CAST ( -- ) IMMEDIATE
' ?COMPILE EXPORT ?COMPILE ( -- )
' ?EXECUTE EXPORT ?EXECUTE ( -- )
' TOKEN-FIELD EXPORT TOKEN-FIELD ( SIGNED DEFINITION SINGLE -- 1ST )
' ATTRIBUTE-FIELD EXPORT ATTRIBUTE-FIELD ( SIGNED DEFINITION SINGLE -- 1ST )
' 2DROP EXPORT ONLY-NAME ( SIGNED DEFINITION SINGLE -- 1ST )
' >CF EXPORT >CF ( CONTROL-FLOW -- )
' CF> EXPORT CF> ( -- CONTROL-FLOW )
' DICT: EXPORT : ( -- COLON-SYS )
' DICT:NONAME EXPORT :NONAME ( -- DEFINITION COLON-SYS )
' ?PARAMS EXPORT ?PARAMS ( -- )
' DICT-EXIT EXPORT EXIT ( -- ) IMMEDIATE
' DICT; EXPORT ; ( COLON-SYS -- ) IMMEDIATE
' DOES;  EXPORT ; ( DOES-SYS -- ) IMMEDIATE
:NONAME POSTPONE LITERAL ; EXPORT LITERAL, ( SINGLE -- )
:NONAME POSTPONE 2LITERAL ; EXPORT LITERAL, ( DOUBLE -- )
' @>DT EXPORT @>DT ( ADDRESS -> DATA-TYPE -- )
' <LOCALS EXPORT <LOCALS ( -- )
' LOCALS> EXPORT LOCALS> ( -- )
' COMPILE, EXPORT (COMPILE,) ( TOKEN -- )
' DICT-COMPILE, EXPORT COMPILE, ( DEFINITION -- )
' (CAST) EXPORT (CAST) ( ADDRESS -> DATA-TYPE UNSIGNED FLAG -- )
' DT>DT EXPORT DT>DT ( DEFINITION FLAG -- TOKEN )
' ?CONGRUENT EXPORT ?CONGRUENT ( DEFINITION ADDRESS -> DATA-TYPE -- )
' IDENTITY EXPORT IDENTITY ( SIGNED DEFINITION SINGLE -- 1ST )
' DEFERRED EXPORT DEFERRED ( SIGNED DEFINITION SINGLE -- 1ST )
' MATCH EXPORT MATCH ( SIGNED DEFINITION SINGLE -- 1ST )
' ?DT>DT EXPORT ?DT>DT ( CADDRESS -> CHARACTER UNSIGNED -- TOKEN )
' SINGLE EXPORT-DT SINGLE ( STACK-DIAGRAM -- 1ST )
' INTEGER EXPORT-DT INTEGER ( STACK-DIAGRAM -- 1ST )
' UNSIGNED EXPORT-DT UNSIGNED ( STACK-DIAGRAM -- 1ST )
' SIGNED EXPORT-DT SIGNED ( STACK-DIAGRAM -- 1ST )
' CHARACTER EXPORT-DT CHARACTER ( STACK-DIAGRAM -- 1ST )
' ADDRESS EXPORT-DT ADDRESS ( STACK-DIAGRAM -- 1ST )
' CADDRESS EXPORT-DT CADDRESS ( STACK-DIAGRAM -- 1ST )
' LOGICAL EXPORT-DT LOGICAL ( STACK-DIAGRAM -- 1ST )
' FLAG EXPORT-DT FLAG ( STACK-DIAGRAM -- 1ST )
' DEFINITION EXPORT-DT DEFINITION ( STACK-DIAGRAM -- 1ST )
' TOKEN EXPORT-DT TOKEN ( STACK-DIAGRAM -- 1ST )
' SEARCH-CRITERION EXPORT-DT SEARCH-CRITERION ( STACK-DIAGRAM -- 1ST )
' EXECUTE EXPORT EXECUTE ( SIGNED DEFINITION SINGLE SEARCH-CRITERION -- 1ST )
' FILE EXPORT-DT FILE ( STACK-DIAGRAM -- 1ST )
' FAM EXPORT-DT FAM ( STACK-DIAGRAM -- 1ST )
' WID EXPORT-DT WID ( STACK-DIAGRAM -- 1ST )
' R-SIZE EXPORT-DT R-SIZE ( STACK-DIAGRAM -- 1ST )
' CONTROL-FLOW EXPORT-DT CONTROL-FLOW ( STACK-DIAGRAM -- 1ST )
' DOUBLE EXPORT-DT DOUBLE ( STACK-DIAGRAM -- 1ST )
' INTEGER-DOUBLE EXPORT-DT INTEGER-DOUBLE ( STACK-DIAGRAM -- 1ST )
' UNSIGNED-DOUBLE EXPORT-DT UNSIGNED-DOUBLE ( STACK-DIAGRAM -- 1ST )
' NUMBER-DOUBLE EXPORT-DT NUMBER-DOUBLE ( STACK-DIAGRAM -- 1ST )
' SIGNED-DOUBLE EXPORT-DT SIGNED-DOUBLE ( STACK-DIAGRAM -- 1ST )
' DATA-TYPE EXPORT-DT DATA-TYPE ( STACK-DIAGRAM -- 1ST )
' STACK-DIAGRAM EXPORT-DT STACK-DIAGRAM ( STACK-DIAGRAM -- 1ST )
' TUPLE EXPORT-DT TUPLE ( STACK-DIAGRAM -- 1ST )
' INPUT-SOURCE EXPORT-DT INPUT-SOURCE ( STACK-DIAGRAM -- 1ST )
' SYS EXPORT-DT SYS ( STACK-DIAGRAM -- 1ST )
' ORIG/DEST EXPORT-DT ORIG/DEST ( STACK-DIAGRAM -- 1ST )
' ORIG EXPORT-DT ORIG ( STACK-DIAGRAM -- 1ST )
' DEST EXPORT-DT DEST ( STACK-DIAGRAM -- 1ST )
' COLON-SYS EXPORT-DT COLON-SYS ( STACK-DIAGRAM -- 1ST )
' DOES-SYS EXPORT-DT DOES-SYS ( STACK-DIAGRAM -- 1ST )
' DO-SYS EXPORT-DT DO-SYS ( STACK-DIAGRAM -- 1ST )
' CASE-SYS EXPORT-DT CASE-SYS ( STACK-DIAGRAM -- 1ST )
' OF-SYS EXPORT-DT OF-SYS ( STACK-DIAGRAM -- 1ST )
' #TIB EXPORT #TIB ( -- ADDRESS -> UNSIGNED )
' TIB EXPORT TIB ( -- CADDRESS -> CHARACTER )
' SOURCE-ID EXPORT SOURCE-ID ( -- FILE ) VALUE-ATTRIBUTE +ATTRIBUTE
' >IN EXPORT >IN ( -- ADDRESS -> UNSIGNED )
' ENCLOSE EXPORT ENCLOSE ( CHARACTER CADDRESS -> 1ST UNSIGNED 4 TH -- 2ND 4 TH 4 TH 4 TH )
' PARSE EXPORT PARSE ( CHARACTER -- CADDRESS -> CHARACTER UNSIGNED )
' ENCLOSE-WORD EXPORT ENCLOSE-WORD ( CADDRESS -> CHARACTER UNSIGNED 3RD -- 1ST 3RD 3RD 3RD )
' PARSE-WORD EXPORT PARSE-WORD ( -- CADDRESS -> CHARACTER UNSIGNED )
' PREVIEW-WORD EXPORT PREVIEW-WORD ( -- CADDRESS -> CHARACTER UNSIGNED )
' COMMENT EXPORT \ ( -- ) IMMEDIATE
' >NUMBER EXPORT >NUMBER ( INTEGER-DOUBLE CADDRESS -> CHARACTER UNSIGNED -- 1ST 2ND 4 TH )
' >SIGN EXPORT >SIGN ( CHARACTER -- SIGNED )
' NUMBER EXPORT NUMBER ( CADDRESS -> CHARACTER UNSIGNED -- INTEGER-DOUBLE DATA-TYPE )
' EXECUTE EXPORT (EXECUTE) ( TOKEN -- )
' INTERPRET EXPORT INTERPRET ( -- )
' ?REFILL EXPORT ?REFILL ( -- )
' STRING-ID EXPORT STRING-ID ( -- FILE )
' STRONG-INCLUDE-FILE EXPORT INCLUDE ( FILE -- )
' STRONG-INCLUDED EXPORT INCLUDE ( CADDRESS -> CHARACTER UNSIGNED -- )
' STRONG-EVALUATE EXPORT EVALUATE ( CADDRESS -> CHARACTER UNSIGNED -- )
' SEARCH-LOCAL EXPORT SEARCH-LOCAL ( CADDRESS -> CHARACTER UNSIGNED -- ADDRESS -> DATA-TYPE SIGNED )
' LOCAL, EXPORT LOCAL, ( CADDRESS -> CHARACTER UNSIGNED ADDRESS -> DATA-TYPE -- )
' [LITERAL] EXPORT [LITERAL] ( -- ) IMMEDIATE
' FREEZE EXPORT FREEZE ( -- CONTROL-FLOW )
' THAW EXPORT THAW ( CONTROL-FLOW -- )
' NESTING EXPORT NESTING ( ADDRESS -> DATA-TYPE INTEGER -- )
' PARAM@, EXPORT PARAM@, ( DEFINITION STACK-DIAGRAM UNSIGNED 3RD -- 1ST 2ND )
' +PARAM EXPORT +PARAM ( DEFINITION UNSIGNED -- 1ST 2ND )
' ENCLOSE-PARAMS EXPORT ENCLOSE-PARAMS ( DEFINITION UNSIGNED -- 1ST 2ND 2ND )
' ?HAS-INPUT-PARAMS EXPORT ?HAS-INPUT-PARAMS ( DEFINITION -- )
' ?CHECK-REFERENCES EXPORT ?CHECK-REFERENCES ( DEFINITION UNSIGNED 2ND -- 1ST 2ND 2ND )
' (DOES) EXPORT (DOES) ( DEFINITION -- )
' STRONG-NO-PARAMS-DOES> EXPORT NO-PARAMS-DOES> ( COLON-SYS -- DOES-SYS ) IMMEDIATE
' STRONG-DOES> EXPORT DOES> ( COLON-SYS -- DOES-SYS ) IMMEDIATE
' PROMPT EXPORT PROMPT ( -- )
' ABORT EXPORT ABORT ( -- )
' STRONG-QUIT EXPORT QUIT ( -- )
' BYE EXPORT BYE ( -- )
' SOURCE-SPEC EXPORT SOURCE-SPEC ( -- ADDRESS -> DOUBLE )
' FIB EXPORT FIB ( -- CADDRESS -> CHARACTER )
' #FIB EXPORT #FIB ( -- ADDRESS -> UNSIGNED )
' STR EXPORT STR ( -- CADDRESS -> CHARACTER )
' #STR EXPORT #STR ( -- ADDRESS -> UNSIGNED )
' SOURCE EXPORT SOURCE ( -- CADDRESS -> CHARACTER UNSIGNED )
' REFILL EXPORT REFILL ( -- FLAG )
' SPACE EXPORT SPACE ( -- )
' SPACES EXPORT SPACES ( INTEGER -- )
' 1ST EXPORT 1ST ( STACK-DIAGRAM -- 1ST )
' 2ND EXPORT 2ND ( STACK-DIAGRAM -- 1ST )
' 3RD EXPORT 3RD ( STACK-DIAGRAM -- 1ST )
' IMMEDIATE EXPORT IMMEDIATE ( -- )
' HOLD EXPORT HOLD ( CHARACTER -- )
' <# EXPORT <# ( DOUBLE -- NUMBER-DOUBLE )
' #> EXPORT #> ( NUMBER-DOUBLE -- CADDRESS -> CHARACTER UNSIGNED )
' # EXPORT # ( NUMBER-DOUBLE -- 1ST )
' #S EXPORT #S ( NUMBER-DOUBLE -- 1ST )
' DU. EXPORT . ( DOUBLE -- )
' D. EXPORT . ( SIGNED-DOUBLE -- )
' U. EXPORT . ( SINGLE -- )
' . EXPORT . ( SIGNED -- )
' EMIT EXPORT . ( CHARACTER -- )
' DECIMAL EXPORT DECIMAL ( -- )
' HEX EXPORT HEX ( -- )
' DU.R EXPORT .R ( DOUBLE INTEGER -- )
' D.R EXPORT .R ( SIGNED-DOUBLE INTEGER -- )
' U.R EXPORT .R ( SINGLE INTEGER -- )
' .R EXPORT .R ( SIGNED INTEGER -- )
' +ATTRIBUTE EXPORT +ATTRIBUTE ( LOGICAL -- )
' IMMEDIATE? EXPORT IMMEDIATE? ( DEFINITION -- FLAG )
' -TRAILING EXPORT -TRAILING ( CADDRESS -> CHARACTER UNSIGNED -- 1ST 3RD )
' .DIAGRAM EXPORT .DIAGRAM ( DEFINITION -- )
' .DEFINITION EXPORT . ( DEFINITION -- )
' DICT' EXPORT ' ( -- DEFINITION )
' WORDLIST EXPORT WORDLIST ( -- WID )
' FORTH EXPORT FORTH ( -- )  VALUE-ATTRIBUTE +ATTRIBUTE
' LOCAL EXPORT LOCAL ( -- )  VALUE-ATTRIBUTE +ATTRIBUTE
' ENVIRONMENT EXPORT ENVIRONMENT ( -- )  VALUE-ATTRIBUTE +ATTRIBUTE
' SEARCH-TOKEN EXPORT SEARCH-TOKEN ( TOKEN -- DEFINITION SIGNED )
' ?DEFINITION EXPORT ?DEFINITION ( DATA-TYPE -- DEFINITION )
' .DT EXPORT . ( DATA-TYPE -- )
' .S EXPORT .S ( -- ) IMMEDIATE
' NAME>DEFINITION EXPORT NAME>DEFINITION ( CADDRESS -> UNSIGNED -- DEFINITION )
' PREV EXPORT PREV ( DEFINITION -- 1ST )
' 'HOST EXPORT 'HOST ( -- TOKEN )
' 'HOST-PARSING EXPORT 'HOST-PARSING ( -- TOKEN )
' SLITERAL EXPORT SLITERAL ( CADDRESS -> CHARACTER UNSIGNED -- ) IMMEDIATE
' " EXPORT " ( -- ) IMMEDIATE
' STRONG-POSTPONE EXPORT POSTPONE ( -- ) IMMEDIATE
' (CONSTANT) EXPORT (CONSTANT) ( STACK-DIAGRAM -- 1ST )
' (VARIABLE) EXPORT (VARIABLE) ( STACK-DIAGRAM -- 1ST )
' DICT-CONSTANT EXPORT CONSTANT ( SINGLE -- )
' DICT-VARIABLE EXPORT VARIABLE ( SINGLE -- )
' DICT-VALUE EXPORT VALUE ( SINGLE -- )
' DICT-2CONSTANT EXPORT CONSTANT ( DOUBLE -- )
' DICT-2VARIABLE EXPORT VARIABLE ( DOUBLE --