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