we get full print using a proxying function + cast