basis/stack-checker/known-words/known-words.factor

   1 ! Copyright (C) 2004, 2011 Slava Pestov, Daniel Ehrenberg.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: fry accessors alien alien.accessors alien.private arrays
   4 byte-arrays classes continuations.private effects generic
   5 hashtables hashtables.private io io.backend io.files
   6 io.files.private io.streams.c kernel kernel.private math
   7 math.private math.parser.private memory memory.private
   8 namespaces namespaces.private parser quotations
   9 quotations.private sbufs sbufs.private sequences
  10 sequences.private slots.private strings strings.private system
  11 threads.private classes.tuple classes.tuple.private vectors
  12 vectors.private words words.private definitions assocs summary
  13 compiler.units system.private combinators tools.memory.private
  14 combinators.short-circuit locals locals.backend locals.types
  15 combinators.private stack-checker.values generic.single
  16 generic.single.private alien.libraries tools.dispatch.private
  17 tools.profiler.private macros
  18 stack-checker.alien
  19 stack-checker.state
  20 stack-checker.errors
  21 stack-checker.visitor
  22 stack-checker.backend
  23 stack-checker.branches
  24 stack-checker.transforms
  25 stack-checker.dependencies
  26 stack-checker.recursive-state
  27 stack-checker.row-polymorphism ;
  28 QUALIFIED-WITH: generic.single.private gsp
  29 IN: stack-checker.known-words
  30
  31 : infer-special ( word -- )
  32     [ current-word set ] [ "special" word-prop call( -- ) ] bi ;
  33
  34 : infer-shuffle ( shuffle -- )
  35     [ in>> length consume-d ] keep ! inputs shuffle
  36     [ drop ] [ shuffle dup copy-values dup output-d ] 2bi ! inputs outputs copies
  37     [ nip f f ] [ swap zip ] 2bi ! in-d out-d in-r out-r mapping
  38     #shuffle, ;
  39
  40 : infer-shuffle-word ( word -- )
  41     "shuffle" word-prop infer-shuffle ;
  42
  43 : infer-local-reader ( word -- )
  44     (( -- value )) apply-word/effect ;
  45
  46 : infer-local-writer ( word -- )
  47     (( value -- )) apply-word/effect ;
  48
  49 : non-inline-word ( word -- )
  50     dup depends-on-effect
  51     {
  52         { [ dup "shuffle" word-prop ] [ infer-shuffle-word ] }
  53         { [ dup "special" word-prop ] [ infer-special ] }
  54         { [ dup "transform-quot" word-prop ] [ apply-transform ] }
  55         { [ dup macro? ] [ apply-macro ] }
  56         { [ dup local? ] [ infer-local-reader ] }
  57         { [ dup local-reader? ] [ infer-local-reader ] }
  58         { [ dup local-writer? ] [ infer-local-writer ] }
  59         { [ dup "no-compile" word-prop ] [ do-not-compile ] }
  60         [ dup required-stack-effect apply-word/effect ]
  61     } cond ;
  62
  63 {
  64     { drop  (( x     --             )) }
  65     { 2drop (( x y   --             )) }
  66     { 3drop (( x y z --             )) }
  67     { dup   (( x     -- x x         )) }
  68     { 2dup  (( x y   -- x y x y     )) }
  69     { 3dup  (( x y z -- x y z x y z )) }
  70     { rot   (( x y z -- y z x       )) }
  71     { -rot  (( x y z -- z x y       )) }
  72     { dupd  (( x y   -- x x y       )) }
  73     { swapd (( x y z -- y x z       )) }
  74     { nip   (( x y   -- y           )) }
  75     { 2nip  (( x y z -- z           )) }
  76     { over  (( x y   -- x y x       )) }
  77     { pick  (( x y z -- x y z x     )) }
  78     { swap  (( x y   -- y x         )) }
  79 } [ "shuffle" set-word-prop ] assoc-each
  80
  81 : check-declaration ( declaration -- declaration )
  82     dup { [ array? ] [ [ class? ] all? ] } 1&&
  83     [ bad-declaration-error ] unless ;
  84
  85 : infer-declare ( -- )
  86     pop-literal nip check-declaration
  87     [ length ensure-d ] keep zip
  88     #declare, ;
  89
  90 \ declare [ infer-declare ] "special" set-word-prop
  91
  92 GENERIC: infer-call* ( value known -- )
  93
  94 : (infer-call) ( value -- ) dup known infer-call* ;
  95
  96 : infer-call ( -- ) pop-d (infer-call) ;
  97
  98 \ call [ infer-call ] "special" set-word-prop
  99
 100 \ (call) [ infer-call ] "special" set-word-prop
 101
 102 M: literal infer-call*
 103     [ 1array #drop, ] [ infer-literal-quot ] bi* ;
 104
 105 M: curried infer-call*
 106     swap push-d
 107     [ uncurry ] infer-quot-here
 108     [ quot>> known pop-d [ set-known ] keep ]
 109     [ obj>> known pop-d [ set-known ] keep ] bi
 110     push-d (infer-call) ;
 111
 112 M: composed infer-call*
 113     swap push-d
 114     [ uncompose ] infer-quot-here
 115     [ quot2>> known pop-d [ set-known ] keep ]
 116     [ quot1>> known pop-d [ set-known ] keep ] bi
 117     push-d push-d
 118     1 infer->r infer-call
 119     terminated? get [ 1 infer-r> infer-call ] unless ;
 120
 121 M: declared-effect infer-call*
 122     [ [ known>> infer-call* ] keep ] with-effect-here check-declared-effect ;
 123
 124 M: input-parameter infer-call* \ call unknown-macro-input ;
 125 M: object infer-call* \ call bad-macro-input ;
 126
 127 : infer-ndip ( word n -- )
 128     [ literals get ] 2dip
 129     [ '[ _ def>> infer-quot-here ] ]
 130     [ '[ _ [ pop ] dip [ infer->r infer-quot-here ] [ infer-r> ] bi ] ] bi*
 131     if-empty ;
 132
 133 : infer-dip ( -- ) \ dip 1 infer-ndip ;
 134
 135 \ dip [ infer-dip ] "special" set-word-prop
 136
 137 : infer-2dip ( -- ) \ 2dip 2 infer-ndip ;
 138
 139 \ 2dip [ infer-2dip ] "special" set-word-prop
 140
 141 : infer-3dip ( -- ) \ 3dip 3 infer-ndip ;
 142
 143 \ 3dip [ infer-3dip ] "special" set-word-prop
 144
 145 : infer-builder ( quot word -- )
 146     [
 147         [ 2 consume-d ] dip
 148         [ dup first2 ] dip call make-known
 149         [ push-d ] [ 1array ] bi
 150     ] dip #call, ; inline
 151
 152 : infer-curry ( -- ) [ <curried> ] \ curry infer-builder ;
 153
 154 \ curry [ infer-curry ] "special" set-word-prop
 155
 156 : infer-compose ( -- ) [ <composed> ] \ compose infer-builder ;
 157
 158 \ compose [ infer-compose ] "special" set-word-prop
 159
 160 : infer-execute ( -- )
 161     pop-literal nip
 162     dup word? [
 163         apply-object
 164     ] [
 165         \ execute time-bomb
 166     ] if ;
 167
 168 \ execute [ infer-execute ] "special" set-word-prop
 169
 170 \ (execute) [ infer-execute ] "special" set-word-prop
 171
 172 : infer-<tuple-boa> ( -- )
 173     \ <tuple-boa>
 174     peek-d literal value>> second 1 + "obj" <array> { tuple } <effect>
 175     apply-word/effect ;
 176
 177 \ <tuple-boa> [ infer-<tuple-boa> ] "special" set-word-prop
 178
 179 \ <tuple-boa> t "flushable" set-word-prop
 180
 181 : infer-effect-unsafe ( word -- )
 182     pop-literal nip
 183     add-effect-input
 184     apply-word/effect ;
 185
 186 : infer-execute-effect-unsafe ( -- )
 187     \ (execute) infer-effect-unsafe ;
 188
 189 \ execute-effect-unsafe [ infer-execute-effect-unsafe ] "special" set-word-prop
 190
 191 : infer-call-effect-unsafe ( -- )
 192     \ call infer-effect-unsafe ;
 193
 194 \ call-effect-unsafe [ infer-call-effect-unsafe ] "special" set-word-prop
 195
 196 : infer-load-locals ( -- )
 197     pop-literal nip
 198     consume-d dup copy-values dup output-r
 199     [ [ f f ] dip ] [ swap zip ] 2bi #shuffle, ;
 200
 201 \ load-locals [ infer-load-locals ] "special" set-word-prop
 202
 203 : infer-load-local ( -- )
 204     1 infer->r ;
 205
 206 \ load-local [ infer-load-local ] "special" set-word-prop
 207
 208 :: infer-get-local ( -- )
 209     pop-literal nip 1 swap - :> n
 210     n consume-r :> in-r
 211     in-r first copy-value 1array :> out-d
 212     in-r copy-values :> out-r
 213
 214     out-d output-d
 215     out-r output-r
 216     f out-d in-r out-r
 217     out-r in-r zip out-d first in-r first 2array suffix
 218     #shuffle, ;
 219
 220 \ get-local [ infer-get-local ] "special" set-word-prop
 221
 222 : infer-drop-locals ( -- )
 223     f f pop-literal nip consume-r f f #shuffle, ;
 224
 225 \ drop-locals [ infer-drop-locals ] "special" set-word-prop
 226
 227 : infer-call-effect ( word -- )
 228     1 ensure-d first literal value>>
 229     add-effect-input add-effect-input
 230     apply-word/effect ;
 231
 232 { call-effect execute-effect } [
 233     dup t "no-compile" set-word-prop
 234     dup '[ _ infer-call-effect ] "special" set-word-prop
 235 ] each
 236
 237 \ if [ infer-if ] "special" set-word-prop
 238 \ dispatch [ infer-dispatch ] "special" set-word-prop
 239
 240 \ alien-invoke [ infer-alien-invoke ] "special" set-word-prop
 241 \ alien-indirect [ infer-alien-indirect ] "special" set-word-prop
 242 \ alien-assembly [ infer-alien-assembly ] "special" set-word-prop
 243 \ alien-callback [ infer-alien-callback ] "special" set-word-prop
 244
 245 {
 246     do-primitive
 247     mega-cache-miss
 248     mega-cache-lookup
 249     inline-cache-miss
 250     inline-cache-miss-tail
 251     unwind-native-frames
 252     set-datastack
 253     set-callstack
 254     set-retainstack
 255     unwind-native-frames
 256     lazy-jit-compile
 257     c-to-factor
 258 } [ dup '[ _ do-not-compile ] "special" set-word-prop ] each
 259
 260 {
 261     declare call (call) dip 2dip 3dip curry compose
 262     execute (execute) call-effect-unsafe execute-effect-unsafe if
 263     dispatch <tuple-boa> load-local load-locals get-local
 264     drop-locals do-primitive alien-invoke alien-indirect
 265     alien-callback
 266 } [ t "no-compile" set-word-prop ] each
 267
 268 ! Exceptions to the above
 269 \ curry f "no-compile" set-word-prop
 270 \ compose f "no-compile" set-word-prop
 271
 272 ! More words not to compile
 273 \ clear t "no-compile" set-word-prop
 274
 275 : define-primitive ( word inputs outputs -- )
 276     [ "input-classes" set-word-prop ]
 277     [ "default-output-classes" set-word-prop ]
 278     bi-curry* bi ;
 279
 280 ! Stack effects for all primitives
 281 \ (byte-array) { integer } { byte-array } define-primitive \ (byte-array) make-flushable
 282 \ (clone) { object } { object } define-primitive \ (clone) make-flushable
 283 \ (code-blocks) { } { array } define-primitive \ (code-blocks)  make-flushable
 284 \ (dlopen) { byte-array } { dll } define-primitive
 285 \ (dlsym) { byte-array object } { c-ptr } define-primitive
 286 \ (dlsym-raw) { byte-array object } { c-ptr } define-primitive
 287 \ (exists?) { string } { object } define-primitive
 288 \ (exit) { integer } { } define-primitive
 289 \ (format-float) { float byte-array } { byte-array } define-primitive \ (format-float) make-foldable
 290 \ (fopen) { byte-array byte-array } { alien } define-primitive
 291 \ (identity-hashcode) { object } { fixnum } define-primitive
 292 \ (save-image) { byte-array byte-array } { } define-primitive
 293 \ (save-image-and-exit) { byte-array byte-array } { } define-primitive
 294 \ (set-context) { object alien } { object } define-primitive
 295 \ (set-context-and-delete) { object alien } { } define-primitive
 296 \ (sleep) { integer } { } define-primitive
 297 \ (start-context) { object quotation } { object } define-primitive
 298 \ (start-context-and-delete) { object quotation } { } define-primitive
 299 \ (word) { object object object } { word } define-primitive \ (word) make-flushable
 300 \ <array> { integer object } { array } define-primitive \ <array> make-flushable
 301 \ <byte-array> { integer } { byte-array } define-primitive \ <byte-array> make-flushable
 302 \ <callback> { integer word } { alien } define-primitive
 303 \ <displaced-alien> { integer c-ptr } { c-ptr } define-primitive \ <displaced-alien> make-flushable
 304 \ <string> { integer integer } { string } define-primitive \ <string> make-flushable
 305 \ <tuple> { array } { tuple } define-primitive \ <tuple> make-flushable
 306 \ <wrapper> { object } { wrapper } define-primitive \ <wrapper> make-foldable
 307 \ alien-address { alien } { integer } define-primitive \ alien-address make-flushable
 308 \ alien-cell { c-ptr integer } { pinned-c-ptr } define-primitive \ alien-cell make-flushable
 309 \ alien-double { c-ptr integer } { float } define-primitive \ alien-double make-flushable
 310 \ alien-float { c-ptr integer } { float } define-primitive \ alien-float make-flushable
 311 \ alien-signed-1 { c-ptr integer } { fixnum } define-primitive \ alien-signed-1 make-flushable
 312 \ alien-signed-2 { c-ptr integer } { fixnum } define-primitive \ alien-signed-2 make-flushable
 313 \ alien-signed-4 { c-ptr integer } { integer } define-primitive \ alien-signed-4 make-flushable
 314 \ alien-signed-8 { c-ptr integer } { integer } define-primitive \ alien-signed-8 make-flushable
 315 \ alien-signed-cell { c-ptr integer } { integer } define-primitive \ alien-signed-cell make-flushable
 316 \ alien-unsigned-1 { c-ptr integer } { fixnum } define-primitive \ alien-unsigned-1 make-flushable
 317 \ alien-unsigned-2 { c-ptr integer } { fixnum } define-primitive \ alien-unsigned-2 make-flushable
 318 \ alien-unsigned-4 { c-ptr integer } { integer } define-primitive \ alien-unsigned-4 make-flushable
 319 \ alien-unsigned-8 { c-ptr integer } { integer } define-primitive \ alien-unsigned-8 make-flushable
 320 \ alien-unsigned-cell { c-ptr integer } { integer } define-primitive \ alien-unsigned-cell make-flushable
 321 \ all-instances { } { array } define-primitive
 322 \ array>quotation { array } { quotation } define-primitive \ array>quotation make-foldable
 323 \ become { array array } { } define-primitive
 324 \ bignum* { bignum bignum } { bignum } define-primitive \ bignum* make-foldable
 325 \ bignum+ { bignum bignum } { bignum } define-primitive \ bignum+ make-foldable
 326 \ bignum- { bignum bignum } { bignum } define-primitive \ bignum- make-foldable
 327 \ bignum-bit? { bignum integer } { object } define-primitive \ bignum-bit? make-foldable
 328 \ bignum-bitand { bignum bignum } { bignum } define-primitive \ bignum-bitand make-foldable
 329 \ bignum-bitnot { bignum } { bignum } define-primitive \ bignum-bitnot make-foldable
 330 \ bignum-bitor { bignum bignum } { bignum } define-primitive \ bignum-bitor make-foldable
 331 \ bignum-bitxor { bignum bignum } { bignum } define-primitive \ bignum-bitxor make-foldable
 332 \ bignum-log2 { bignum } { bignum } define-primitive \ bignum-log2 make-foldable
 333 \ bignum-mod { bignum bignum } { bignum } define-primitive \ bignum-mod make-foldable
 334 \ bignum-shift { bignum fixnum } { bignum } define-primitive \ bignum-shift make-foldable
 335 \ bignum/i { bignum bignum } { bignum } define-primitive \ bignum/i make-foldable
 336 \ bignum/mod { bignum bignum } { bignum bignum } define-primitive \ bignum/mod make-foldable
 337 \ bignum< { bignum bignum } { object } define-primitive \ bignum< make-foldable
 338 \ bignum<= { bignum bignum } { object } define-primitive \ bignum<= make-foldable
 339 \ bignum= { bignum bignum } { object } define-primitive \ bignum= make-foldable
 340 \ bignum> { bignum bignum } { object } define-primitive \ bignum> make-foldable
 341 \ bignum>= { bignum bignum } { object } define-primitive \ bignum>= make-foldable
 342 \ bignum>fixnum { bignum } { fixnum } define-primitive \ bignum>fixnum make-foldable
 343 \ bits>double { integer } { float } define-primitive \ bits>double make-foldable
 344 \ bits>float { integer } { float } define-primitive \ bits>float make-foldable
 345 \ both-fixnums? { object object } { object } define-primitive
 346 \ byte-array>bignum { byte-array } { bignum } define-primitive \ byte-array>bignum make-foldable
 347 \ callstack { } { callstack } define-primitive \ callstack make-flushable
 348 \ callstack-bounds { } { alien alien } define-primitive \ callstack-bounds make-flushable
 349 \ callstack-for { c-ptr } { callstack } define-primitive \ callstack make-flushable
 350 \ callstack>array { callstack } { array } define-primitive \ callstack>array make-flushable
 351 \ check-datastack { array integer integer } { object } define-primitive \ check-datastack make-flushable
 352 \ (code-room) { } { byte-array } define-primitive \ (code-room)  make-flushable
 353 \ compact-gc { } { } define-primitive
 354 \ compute-identity-hashcode { object } { } define-primitive
 355 \ context-object { fixnum } { object } define-primitive \ context-object make-flushable
 356 \ context-object-for { fixnum c-ptr } { object } define-primitive \ context-object-for make-flushable
 357 \ current-callback { } { fixnum } define-primitive \ current-callback make-flushable
 358 \ (data-room) { } { byte-array } define-primitive \ (data-room) make-flushable
 359 \ datastack { } { array } define-primitive \ datastack make-flushable
 360 \ datastack-for { c-ptr } { array } define-primitive \ datastack-for make-flushable
 361 \ die { } { } define-primitive
 362 \ disable-gc-events { } { object } define-primitive
 363 \ dispatch-stats { } { byte-array } define-primitive
 364 \ dlclose { dll } { } define-primitive
 365 \ dll-valid? { object } { object } define-primitive
 366 \ double>bits { real } { integer } define-primitive \ double>bits make-foldable
 367 \ enable-gc-events { } { } define-primitive
 368 \ eq? { object object } { object } define-primitive \ eq? make-foldable
 369 \ fclose { alien } { } define-primitive
 370 \ fflush { alien } { } define-primitive
 371 \ fgetc { alien } { object } define-primitive
 372 \ fixnum* { fixnum fixnum } { integer } define-primitive \ fixnum* make-foldable
 373 \ fixnum*fast { fixnum fixnum } { fixnum } define-primitive \ fixnum*fast make-foldable
 374 \ fixnum+ { fixnum fixnum } { integer } define-primitive \ fixnum+ make-foldable
 375 \ fixnum+fast { fixnum fixnum } { fixnum } define-primitive \ fixnum+fast make-foldable
 376 \ fixnum- { fixnum fixnum } { integer } define-primitive \ fixnum- make-foldable
 377 \ fixnum-bitand { fixnum fixnum } { fixnum } define-primitive \ fixnum-bitand make-foldable
 378 \ fixnum-bitnot { fixnum } { fixnum } define-primitive \ fixnum-bitnot make-foldable
 379 \ fixnum-bitor { fixnum fixnum } { fixnum } define-primitive \ fixnum-bitor make-foldable
 380 \ fixnum-bitxor { fixnum fixnum } { fixnum } define-primitive \ fixnum-bitxor make-foldable
 381 \ fixnum-fast { fixnum fixnum } { fixnum } define-primitive \ fixnum-fast make-foldable
 382 \ fixnum-mod { fixnum fixnum } { fixnum } define-primitive \ fixnum-mod make-foldable
 383 \ fixnum-shift { fixnum fixnum } { integer } define-primitive \ fixnum-shift make-foldable
 384 \ fixnum-shift-fast { fixnum fixnum } { fixnum } define-primitive \ fixnum-shift-fast make-foldable
 385 \ fixnum/i { fixnum fixnum } { integer } define-primitive \ fixnum/i make-foldable
 386 \ fixnum/i-fast { fixnum fixnum } { fixnum } define-primitive \ fixnum/i-fast make-foldable
 387 \ fixnum/mod { fixnum fixnum } { integer fixnum } define-primitive \ fixnum/mod make-foldable
 388 \ fixnum/mod-fast { fixnum fixnum } { fixnum fixnum } define-primitive \ fixnum/mod-fast make-foldable
 389 \ fixnum< { fixnum fixnum } { object } define-primitive \ fixnum< make-foldable
 390 \ fixnum<= { fixnum fixnum } { object } define-primitive \ fixnum<= make-foldable
 391 \ fixnum> { fixnum fixnum } { object } define-primitive \ fixnum> make-foldable
 392 \ fixnum>= { fixnum fixnum } { object } define-primitive \ fixnum>= make-foldable
 393 \ fixnum>bignum { fixnum } { bignum } define-primitive \ fixnum>bignum make-foldable
 394 \ fixnum>float { fixnum } { float } define-primitive \ fixnum>float make-foldable
 395 \ float* { float float } { float } define-primitive \ float* make-foldable
 396 \ float+ { float float } { float } define-primitive \ float+ make-foldable
 397 \ float- { float float } { float } define-primitive \ float- make-foldable
 398 \ float-u< { float float } { object } define-primitive \ float-u< make-foldable
 399 \ float-u<= { float float } { object } define-primitive \ float-u<= make-foldable
 400 \ float-u> { float float } { object } define-primitive \ float-u> make-foldable
 401 \ float-u>= { float float } { object } define-primitive \ float-u>= make-foldable
 402 \ float/f { float float } { float } define-primitive \ float/f make-foldable
 403 \ float< { float float } { object } define-primitive \ float< make-foldable
 404 \ float<= { float float } { object } define-primitive \ float<= make-foldable
 405 \ float= { float float } { object } define-primitive \ float= make-foldable
 406 \ float> { float float } { object } define-primitive \ float> make-foldable
 407 \ float>= { float float } { object } define-primitive \ float>= make-foldable
 408 \ float>bignum { float } { bignum } define-primitive \ float>bignum make-foldable
 409 \ float>bits { real } { integer } define-primitive \ float>bits make-foldable
 410 \ float>fixnum { float } { fixnum } define-primitive \ bignum>fixnum make-foldable
 411 \ fpu-state { } { } define-primitive
 412 \ fputc { object alien } { } define-primitive
 413 \ fread { integer alien } { object } define-primitive
 414 \ fseek { integer integer alien } { } define-primitive
 415 \ ftell { alien } { integer } define-primitive
 416 \ fwrite { c-ptr integer alien } { } define-primitive
 417 \ gc { } { } define-primitive
 418 \ innermost-frame-executing { callstack } { object } define-primitive
 419 \ innermost-frame-scan { callstack } { fixnum } define-primitive
 420 \ jit-compile { quotation } { } define-primitive
 421 \ gsp:lookup-method { object array } { word } define-primitive
 422 \ minor-gc { } { } define-primitive
 423 \ modify-code-heap { array object object } { } define-primitive
 424 \ nano-count { } { integer } define-primitive \ nano-count make-flushable
 425 \ optimized? { word } { object } define-primitive
 426 \ profiling { object } { } define-primitive
 427 \ quot-compiled? { quotation } { object } define-primitive
 428 \ quotation-code { quotation } { integer integer } define-primitive \ quotation-code make-flushable
 429 \ reset-dispatch-stats { } { } define-primitive
 430 \ resize-array { integer array } { array } define-primitive
 431 \ resize-byte-array { integer byte-array } { byte-array } define-primitive
 432 \ resize-string { integer string } { string } define-primitive
 433 \ retainstack { } { array } define-primitive \ retainstack make-flushable
 434 \ retainstack-for { c-ptr } { array } define-primitive \ retainstack-for make-flushable
 435 \ set-alien-cell { c-ptr c-ptr integer } { } define-primitive
 436 \ set-alien-double { float c-ptr integer } { } define-primitive
 437 \ set-alien-float { float c-ptr integer } { } define-primitive
 438 \ set-alien-signed-1 { integer c-ptr integer } { } define-primitive
 439 \ set-alien-signed-2 { integer c-ptr integer } { } define-primitive
 440 \ set-alien-signed-4 { integer c-ptr integer } { } define-primitive
 441 \ set-alien-signed-8 { integer c-ptr integer } { } define-primitive
 442 \ set-alien-signed-cell { integer c-ptr integer } { } define-primitive
 443 \ set-alien-unsigned-1 { integer c-ptr integer } { } define-primitive
 444 \ set-alien-unsigned-2 { integer c-ptr integer } { } define-primitive
 445 \ set-alien-unsigned-4 { integer c-ptr integer } { } define-primitive
 446 \ set-alien-unsigned-8 { integer c-ptr integer } { } define-primitive
 447 \ set-alien-unsigned-cell { integer c-ptr integer } { } define-primitive
 448 \ set-context-object { object fixnum } { } define-primitive
 449 \ set-fpu-state { } { } define-primitive
 450 \ set-innermost-frame-quot { quotation callstack } { } define-primitive
 451 \ set-slot { object object fixnum } { } define-primitive
 452 \ set-special-object { object fixnum } { } define-primitive
 453 \ set-string-nth-fast { fixnum fixnum string } { } define-primitive
 454 \ size { object } { fixnum } define-primitive \ size make-flushable
 455 \ slot { object fixnum } { object } define-primitive \ slot make-flushable
 456 \ special-object { fixnum } { object } define-primitive \ special-object make-flushable
 457 \ string-nth-fast { fixnum string } { fixnum } define-primitive \ string-nth-fast make-flushable
 458 \ strip-stack-traces { } { } define-primitive
 459 \ tag { object } { fixnum } define-primitive \ tag make-foldable
 460 \ unimplemented { } { } define-primitive
 461 \ word-code { word } { integer integer } define-primitive \ word-code make-flushable