Z:gnu-gawk--3ad07a-turning off `--lint' due to as/ast

desactivase `--lint' darréu d'una asignación a `LINT'