def_inst is now able to work as desired