;;match x with | {js|\x37|js} -> () | {js|\x7b|js} -> ()