Hi ...
The problem is that the jawk interpreter fails on the attached script -- The script is a mess with cut-n-pastes from old scripts to build a new script.
Jawk just crashes. The same script runs to completion with gnu gawk (latest version). and the code itself is quite old. So if there's a typo, etc gawk should catch it too.
Stack dump:
org.jawk.frontend.AwkParser$AST$SemanticException: function org.jawk.frontend.AwkParser$FunctionProxy@57102fab (RESET) not defined (line: 449)
at org.jawk.frontend.AwkParser$FunctionCall_AST.semanticAnalysis(AwkParser.java:3016)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1844)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1844)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1844)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.frontend.AwkParser$AST.semanticAnalysis(AwkParser.java:1845)
at org.jawk.Awk.invoke(Awk.java:164)
at org.jawk.Awk.main(Awk.java:105)
this script crashes jawk