Definition of IMPORTS