Symbol: OP_PUSH_SIZE