let print_ide (Ide(s)) = "Ide("^s^")"