pub const OP_VERIFY: u8 = 0x69;
If the top value is zero or the stack is empty, fail; otherwise, pop the stack.