gawk 3.1 does not support nested arrays