``Make test4'' doesn't work => 1. Updated Design Doc; 2. Updated Makefile