This file was made in Blockscad.
The first model is simple and should work with anything.
The second is more complicated and requires a finer-tuned printer.
WARNING: This has not been tried and may not work at all.
The author marked this model as their own original creation.