z3_smtv2_array.drv 255 Bytes