$ ./setcrtc_dup /dev/dri/card0 dup 100
open(/dev/dri/card0): No such file or directory -- no DRM device on this guest
(guest has no DRM device - leak arithmetic code-proven in VERDICT.md)