Comment # 16 on bug 1193139 from Tom de Vries

(In reply to Tom de Vries from comment #15)
> data point:
> - fresh leap 15.2 install from dvd iso image.
> - enabled main repository only, then enabled network, so no updates
> - installed gcc, gcc-32bit packages
> - ran reproducer script, problem did not reproduce

forgot to mention: with kernel version 5.3.18-lp152.19-default

Another data point:
- enabled main update repository
- did sudo zypper update kernel-default, which installed
5.3.18-lp152.106-default
- rebooted
- ran reproducer script, problem did not reproduce