prettyInstruction dex _ (LoadConst d c@(ConstHigh16 _)) =
  constStr dex "const/high16" d c
prettyInstruction dex _ (LoadConst d c@(ConstHigh16 _)) =
  constStr dex "const/high16" d c
prettyInstruction dex _ (LoadConst d c@(ConstHigh16 _)) =
  constStr dex "const/high16" d c