14.3. Immediate Size Checking
Immediate values are checked to fit within their declared size:
#check (42 : VWord OpSize.Op8) -- OK: 42 < 256
-- The BitVec type ensures proper truncation/overflow behavior
#check (0xFF : VWord OpSize.Op8) -- OK: maximum byte value