Z:gnu-gawk--c2e93c-gettimeofday: ignoring argumen/nl

gettimeofday: argumenten worden genegeerd