Some basic tests for hw03