simplify_binop.sv.pat 24 Bytes