Just remembered something which I have found to trip up some Fortranners: it can give you an axiom to go with your table:
The lower bound of a zero-sized array is always unity.
The result with LBOUND intrinsic for array dimensions that have zero extents is always unity.
P.S.> The above correction made on 11-July-2023 is based on the comment threads below.