add highlighting for h32_load_t
Merge remote-tracking branch 'origin' into smt2
Merge branch 'smt2' of https://github.com/wmkhoo/taintgrind into smt2
smt2: cmpeq8