typedef'd synge return type and printf format -- to make updating easier