dump function implemented but some informations are missing in smallOutput()