Random technical details: You can take money out of a 401k in a couple of ways that aren't retirement. The best way is an authorized reason: Up to a fairly small amount towards a first home. If you become disabled. If you are a victim of certain crimes. If you have a small (< $1000) emergency you cannot cover[0]. You can also take out that money at any time, paying a penalty on top of the tax required.
There is also a way to borrow money short term from your 401k that turns into an unauthorized withdraw if you don't pay it back in a relatively short time (a year?)
These all seem reasonable.
[0] Yes, there are rules to prevent the worst abuse, mostly limiting you to doing so once every three years, the small total, and the need to fill out paperwork explaining the unexpected cost.