Imported prerequisites for Lab04.