50def nativeMemoryRoutineErrorCodeBytes =
51 (lambda unrestricted code : (family NativeMemoryRoutineErrorCode) .
52 (eliminate
53 NativeMemoryRoutineErrorCode
54 (lambda unrestricted current : (family NativeMemoryRoutineErrorCode) . Bytes)
55 code
56 (branch
57 NativeMemoryRoutineDuplicateLabel
58 labelName
59 .
60 (bytes-append b"ALPHA-MEM-001-" labelName))
61 (branch NativeMemoryRoutineOffsetOverflow . b"ALPHA-MEM-002")
62 (branch
63 NativeMemoryRoutineMissingLabel
64 labelName
65 .
66 (bytes-append b"ALPHA-MEM-003-" labelName))
67 (branch
68 NativeMemoryRoutineDisplacementOutOfRange
69 labelName
70 .
71 (bytes-append b"ALPHA-MEM-004-" labelName))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.