awk printf -x は mawk のバージョンによって異なる出力を生成します

awk printf -x は mawk のバージョンによって異なる出力を生成します

問題はここにあります。実行中:

echo '<position x="25" y="-9"/>' | awk -F '[="]' '{
printf ("%.2x", $6)
}'

bashでは異なる出力を生成し GNU bash, version 5.0.17(1)-release (x86_64-pc-linux-gnu)GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu)

出力 Ubuntu 20.04.2 LTS x86_64

awk -W version

mawk 1.3.4 20200120
Copyright 2008-2019,2020, Thomas E. Dickey
Copyright 1991-1996,2014, Michael D. Brennan

: 00

出力 Ubuntu 16.04.7 LTS x86_64

awk -W version
mawk 1.3.3 Nov 1996, Copyright (C) Michael D. Brennan

: fffffff7

古いバージョンの出力を期待/必要としていますが、同じ結果を得るためにスクリプトをどのように変更すればよいでしょうか?

関連情報