gcc/testsuite/algol68/execute/proc-19.a68

# { dg-options "-fstropping=upper" }  #
BEGIN PROC foo = (INT i) INT: i + 1;
      PROC(INT)INT bar := foo;
      ASSERT (bar (10) = 11)
END