OFStateManager: use %d printf format for int