pub const SEL: Constraint;
0x07: SEL
0x07
SEL
Conditionally keep one of the top two elements on the stack.
If condition is true, the top element is kept.
true
[a, b, cond]
[b]