use MAKE-INSTANCE