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

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