gcc/testsuite/algol68/execute/identity-declaration-multiple-empty-4.a68

# { dg-options "-fstropping=upper" }  #
BEGIN PROC foo = ([]INT a) VOID: (ASSERT (LWB a = 1 AND UPB a = 0 AND ELEMS a = 0));
      foo (())
END