Z:gnu-gawk--016944-no explicit close of pipe `=25s'/nl

geen expliciete sluiting van pijp '%s' aangegeven