From: Stefan Sperling <stsp@stsp.name>
Subject: Re: use INT32_MAX for GOT_FILEIDX_MAX_ENTRIES
To: Omar Polo <op@omarpolo.com>
Cc: gameoftrees@openbsd.org
Date: Fri, 28 Jul 2023 20:02:43 +0200

On Fri, Jul 28, 2023 at 10:46:37AM +0200, Omar Polo wrote:
> it's a different way to spell the same number, but since the on-disk
> format uses a 32 bit wide integer stored as big-endian for this field
> it seems better to use an explicit INT32_MAX rather than INT_MAX.

Sure.