diff --git a/tools/minidef.rdbg b/tools/minidef.rdbg
new file mode 100644
index 0000000..f8e24b2
Binary files /dev/null and b/tools/minidef.rdbg differ