formatInstructions :: DexFile -> Word32 -> Word32 -> [Word16] -> [Instruction] -> PP.Doc
formatInstructions _ _ _ [] [] = M.mempty
formatInstructions :: DexFile -> Word32 -> Word32 -> [Word16] -> [Instruction] -> PP.Doc
formatInstructions _ _ _ [] [] = M.mempty
formatInstructions _ _ _ [] [] = M.mempty