and extractvalue 1 concat 0x7e select version 0x7e