initial import of definst