AV1 in ASF does not play in VLC 3.0.16

AV1 in ASF does play in Windows Media Player for Windows10

but AV1 in ASF does not play in VLC 3.0.16

how to create AV1 in asf

ffmpeg -i input.mp4 -c:v libaom-av1 -vtag AV01 -usage realtime -cpu-used 8 -an -f asf a.asf

a.asf does play in Windows Media Player for Windows10

but a.asf does not play in VLC 3.0.16

ffmpeg -i input.mp4 -c:v libaom-av1 -vtag av01 -usage realtime -cpu-used 8 -an -f asf b.asf

b.asf does play in VLC 3.0.16

but b.asf does not play in Windows Media Player for Windows10

See https://docs.microsoft.com/en-us/windows/win32/medfound/video-subtype-guids

ASF format AV1 FourCC 'AV01'

See https://github.com/videolan/vlc/blob/master/src/misc/fourcc_list.h

In this source code, the foucc of av1 is av10. Is this correct?