void dump(zend_op_array * TSRMLS_DC);