Importing bddbcs0_______