Constant MAX_INSTRUCTION_SIZE 

pub const MAX_INSTRUCTION_SIZE: usize = 16;

Maximum number of bytes r2SMT will rewrite for a single instruction. Sized to fit a jmp rel32 (5 bytes) plus a generous safety margin so x86_64 encodings still fit.