# Various knobs for translating SubX programs using SubX. == data # largest segment that can be translated Segment-size: 0x300000/imm32/3MB # maximum size of input textual stream (spanning all segments) Input-size: 0x600000/imm32/6MB # number of labels we can translate to addresses Max-labels: 0x60000/imm32/16K-labels/384KB # capacity of trace-stream Trace-size: 0x200000/imm32/2MB