instruction: 0.896
device: 0.883
network: 0.812
mistranslation: 0.788
boot: 0.534
socket: 0.527
graphic: 0.419
semantic: 0.262
other: 0.207
vnc: 0.203
KVM: 0.041
assembly: 0.018

linux-user: `getsockopt` on `SO_RCVTIMEO_NEW`/`SO_SNDTIMEO_NEW` writes unexpected `int`