add function 'pretty_print'
simplify binding epilog