Download it from the Internet? Key in the source by hand and compile it locally? Type in the bytes with a hex editor? I mean, there's a lot of possible ways. No

Download it from the Internet? Key in the source by hand and compile it locally? Type in the bytes with a hex editor? I mean, there's a lot of possible ways. Note "possible", perhaps even "plausible", but maybe not "probable". And a lot of it would come down to the details of the local situation. And if you're wondering, I can confirm that I've definitely worked at places where you were not allowed to plug in a USB device (I literally saw a co-worker get the "tap on the shoulder" from Security for doing that), but yet many (most?) Internet downloads were allowed. Does that make sense? Arguably not. Does it happen in the real world? Absolutely yes.