opc "(= x0 x)"
ff09ff827830ff0880
