Importing code from the DISCO repository