opc "(= x0 x10038k)"
ff09ff827830ff877831303033386b80
