1 2# Although this is not specified by POSIX, some configure scripts (gawk 4.1.0) 3# appear to depend on it. 4 5break 6exit 4 7