With some further digging, I can see that they do in fact use user32, it's hidden in an internal class, but the whole thing is obfuscated beyond understanding Sad