fn checked_add(a: usize, b: usize) -> Result<usize, InstructionError>