Here go the code for the testings.