1(define-datatype #{fasl striprur0zx3-fasl}
2  (#{entry striprur0zx3-0} situation fasl)
3  (#{header striprur0zx3-1} version machine dependencies)
4  (#{pair striprur0zx3-2} vfasl)
5  (#{tuple striprur0zx3-3} ty vfasl)
6  (#{string striprur0zx3-4} ty string)
7  (#{gensym striprur0zx30-5} pname uname)
8  (#{vector striprur0zx3-6} ty vfasl)
9  (#{fxvector striprur0zx3-7} viptr)
10  (#{bytevector striprur0zx3-9} ty bv)
11  (#{stencil-vector striprur0zx3-sv} mask vfasl)
12  (#{record  striprur0zx3-10} maybe-uid size nflds rtd pad-ty* fld*) ; maybe-uid => rtd
13  (#{rtd-ref striprur0zx3-11} uid) ; field info not recorded
14  (#{closure striprur0zx3-12} offset c)
15  (#{flonum striprur0zx3-13} high low)
16  (#{small-integer striprur0zx3-14} iptr)
17  (#{large-integer striprur0zx3-15} sign vuptr)
18  (#{eq-hashtable striprur0zx3-16} mutable? subtype minlen veclen vpfasl)
19  (#{symbol-hashtable striprur0zx3-17} mutable? minlen equiv veclen vpfasl)
20  (#{code striprur0zx3-18} flags free name arity-mask info pinfo* bytes m vreloc)
21  (#{atom striprur0zx3-19} ty uptr)
22  (#{reloc striprur0zx3-20} type-etc code-offset item-offset fasl)
23  (#{indirect striprur0zx3-21} g i))
24
25(define-datatype #{field stripfur0zx3-field}
26  (#{ptr stripfur0zx3-0} fasl)
27  (#{byte stripfur0zx3-1} n)
28  (#{iptr stripfur0zx3-2} n)
29  (#{single stripfur0zx3-3} n)
30  (#{double stripfur0zx3-4} high low))
31