prettyInstruction dex _ (CheckCast r tid) =
  M.mconcat ["check-cast v", word8Dec r,  ", ", getTypeName' dex tid] <>
  typeComm tid
prettyInstruction dex _ (CheckCast r tid) =
  M.mconcat ["check-cast v", word8Dec r,  ", ", getTypeName' dex tid] <>
  typeComm tid
prettyInstruction dex _ (CheckCast r tid) =
  M.mconcat ["check-cast v", word8Dec r,  ", ", getTypeName' dex tid] <>
  typeComm tid