deleted pretty_print() function