This doesn’t result in a crash or any error messages I can see, but a student and I were having trouble with setPos on Linux not doing anything. We’re running Ubuntu 22.04.4 with Wayland as the display manager. Happily, simply logging in with Xorg as the display manager works as expected.
This is an easy enough work around (for now) and I’m mostly posting this so no one else has to do the debugging we did.