So although Government generated IP titles are prohibited except by one-off statutes, the government can engage in work-for-hire or any auto-acquire titles to a

So although Government generated IP titles are prohibited except by one-off statutes, the government can engage in work-for-hire or any auto-acquire titles to accomplish the same thing, which is what it does. So this is how it owns patents, copyrights, closed source software, etc