Files used in testing the new MySQL Student Server