added printing declarations