These bytecodes execute both concretely and symbolically. Meaning the concrete values are preserved and the symbolic attributes are passed along to the output.