Replacement switch key for some older Craftsman power tools, in my case a 8" 620-1300-3100 Craftsman Drill Press. Replacement part number is a bandsaw switch key #60256 or craftsman switch key #22255. Usually a $6+shipping part if you can find them

Printed with PETG filament 20% infill, rotated so it was printed on its side with support for mechanical strength.

Mine was a little loose in the machine's switch, and could fall out after a few on-off cycles, but otherwise functional as a safety key