void __attribute__::Print

(

std::ostream &

out

)