Pretty print dumped splices